12774 search results - page 2440 / 2555 » A Framework for Proof Systems |
155
click to vote
LCPC
2001
Springer
15 years 11 months ago
2001
Springer
While uniprocessor garbage collection is relatively well understood, experience with collectors for large multiprocessor servers is limited and it is unknown which techniques best ...
178
click to vote
SIGGRAPH
2000
ACM
15 years 10 months ago
2000
ACM
The traditional high-level algorithms for rigid body simulation work well for moderate numbers of bodies but scale poorly to systems of hundreds or more moving, interacting bodies...
176
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
Web search is generally motivated by an information need. Since asking well-formulated questions is the fastest and the most natural way to obtain information for human beings, al...
213
click to vote
AGENTS
1999
Springer
15 years 10 months ago
1999
Springer
The World Wide Web provides a huge distributed web database. However, information in the web database is free formatted and unorganized. Traditional keyword-based retrieval approa...
170
click to vote
INFOCOM
1999
IEEE
15 years 10 months ago
1999
IEEE
The minimization of the wireless cost of tracking mobile users is a crucial issue in wireless networks. Some of the previous strategies addressing this issue leave an open gap, by ...