3379 search results - page 304 / 676 » Powers of Two |
159
click to vote
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
We work with an extension of Resolution, called Res(2), that allows clauses with conjunctions of two literals. In this system there are rules to introduce and eliminate such conju...
169
click to vote
ICDT
2001
ACM
15 years 11 months ago
2001
ACM
XML data is often used (validated, stored, queried, etc) with respect to di erent types. Understanding the relationship between these types can provide important information for ma...
173
click to vote
ISMIR
2001
Springer
15 years 11 months ago
2001
Springer
Musical databases are growing in number, size, and complexity, and they are becoming increasingly relevant for a broad range of academic as well as commercial applications. The fe...
143
Voted
ROBOCUP
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes an autonomous robot football team. The work is being carried out since 1998. It describes the hardware used by the robots, the sensory system and interfaces, a...
155
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
We explore a new proxy-caching framework that exploits the query semantics of HTML forms. We identify a common class of form-based queries, and study two representative caching sc...