4451 search results - page 709 / 891 » On Random Ordering Constraints |
172
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
As users get connected with new-generation smart programmable phones and Personal Digital Assistants, they look for geographic information and location-aware services. In such a s...
175
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable fragments of first-order logic. In case of termi...
183
click to vote
MOBISYS
2009
ACM
16 years 7 months ago
2009
ACM
Mobile devices often store data in reduced resolutions or custom formats in order to accommodate resource constraints and tailormade software. The Polyjuz framework enables sharin...
173
click to vote
RECOMB
2007
Springer
16 years 6 months ago
2007
Springer
A centromere is a special region in the chromosome that plays a vital role during cell division. Every new chromosome created by a genome rearrangement event must have a centromere...
172
click to vote
STOC
2001
ACM
16 years 6 months ago
2001
ACM
Abstract. We consider two types of buffering policies that are used in network switches supporting Quality of Service (QoS). In the FIFO type, packets must be transmitted in the or...