3381 search results - page 492 / 677 » Extending Dependencies with Conditions |
196
Voted
TLCA
2005
Springer
16 years 17 days ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
166
Voted
SIGMETRICS
2004
ACM
16 years 16 days ago
2004
ACM
In this paper, we consider a set of HTTP flows using TCP over a common drop-tail link to download files. After each download, a flow waits for a random think time before reques...
190
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: Modern smartphones provide a high sophisticated camera and a high resolution display. Therefore, they can be used to enable various application scenarios for 1D and 2D barcode re...
185
click to vote
GECCO
1999
Springer
15 years 11 months ago
1999
Springer
Using the thermodynamics of DNA melting, a technique is proposed to choose a reaction temperature for the DNA computation that minimizes the potential for mishybridizations. Adlem...
200
click to vote
JELIA
1990
Springer
15 years 11 months ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...