2934 search results - page 330 / 587 » Universality in Multi-Agent Systems |
204
click to vote
SIGIR
2004
ACM
16 years 1 days ago
2004
ACM
The exponential growth of data demands scalable infrastructures capable of indexing and searching rich content such as text, music, and images. A promising direction is to combine...
147
click to vote
SIGUCCS
2003
ACM
15 years 12 months ago
2003
ACM
The User Services unit of Information Technologies at the University of Delaware operates nine public computing facilities and employs about 150 students who work as assistants in...
172
click to vote
CADE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...
174
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: DNA microarray technology provides a powerful tool for characterizing gene expression on a genome scale. While the technology has been widely used in discovery-based m...
192
click to vote
PLDI
2004
ACM
16 years 1 days ago
2004
ACM
e Synchronization Abstractions “Well, it just so happens that your friend here is only mostly dead. There’s a big difference between mostly dead and all dead.” – Miracle Ma...