1615 search results - page 139 / 323 » What's new |
AAAI
2008
13 years 10 months ago
2008
To facilitate ordinary people to search medical information, we have built an intelligent medical Web search engine called iMed. iMed uses medical knowledge and an interactive que...
SAT
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We offer a new understanding of some aspects of practical SAT-solvers that are based on DPLL with unit-clause propagation, clause-learning, and restarts. On the theoreti...
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
—This is by far the first paper considering joint optimization of link scheduling, routing and replication for disruption-tolerant networks (DTNs). The optimization problems for...
ACMICEC
2003
ACM
14 years 2 months ago
2003
ACM
Hong Kong is one of the cities with the highest penetration rate of mobile devices in the world. There is the potential for Hong Kong to be a leader of mobile commerce. Recently, ...
CIDR
2003
13 years 10 months ago
2003
Peer-to-peer sharing systems are becoming increasingly popular and an exciting new class of innovative, internet-based data management systems. In these systems, users contribute ...