3690 search results - page 503 / 738 » Computation with classical sequents |
203
click to vote
IWPEC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Inclusion/exclusion branching is a way to branch on requirements imposed on problems, in contrast to the classical branching on parts of the solution. The technique turne...
200
click to vote
MOBIHOC
2010
ACM
15 years 4 months ago
2010
ACM
Comparing with the classical barcode system, RFID extends the operational distance from inches to a number of feet (passive RFID tags) or even hundreds of feet (active RFID tags)....
143
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Measuring similarity between ontologies can be very useful for different purposes, e.g., finding an ontology to replace another, or finding an ontology in which queries c...
142
click to vote
WIOPT
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--We consider the problem of delay-efficient scheduling in general multihop networks. While the class of max-weight type algorithms are known to be throughput optimal for t...
176
click to vote
HCI
2009
15 years 4 months ago
2009
The aim of this work was to investigate arm gestures as an alternative input modality for wrist-worn watches. In particular we implemented a gesture recognition system and question...