1268 search results - page 113 / 254 » One Logic to Use Them All |
89
Voted
ISM
2005
IEEE
15 years 6 months 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...
98
Voted
AMMA
2009
Springer
15 years 7 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...
102
click to vote
AAMAS
2008
Springer
15 years 25 days 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...
100
Voted
ICDE
2005
IEEE
15 years 6 months 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...
103
Voted
CADE
2001
Springer
16 years 1 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...