1268 search results - page 113 / 254 » One Logic to Use Them All |
145
click to vote
ISM
2005
IEEE
16 years 1 hour ago
2005
IEEE
One of the ideas of ubiquitous computing is that computing resources should be embedded ubiquitously in the environment, making them available to any nearby users. Some researcher...
172
click to vote
AMMA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Game-theoretic analyses of distributed and peer-to-peer systems typically use the Nash equilibrium solution concept, but this explicitly excludes the possibility of strat...
162
click to vote
AAMAS
2008
Springer
15 years 6 months ago
2008
Springer
Recommender systems have been developed for a wide variety of applications (ranging from books, to holidays, to web pages). These systems have used a number of different approache...
169
click to vote
ICDE
2005
IEEE
16 years 17 hour ago
2005
IEEE
Numerous researchers have proposed to use relational databases to store and query XML documents. One important component of such systems is the XML subtree reconstruction, which r...
164
click to vote
CADE
2001
Springer
16 years 6 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...