1411 search results - page 253 / 283 » Performance analysis of BitTorrent-like systems with heterog... |
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
The low cost of clusters built using commodity components has made it possible for many more users to purchase their own supercomputer. However, even modest-sized clusters make si...
ACL2
2006
ACM
14 years 3 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
SIGIR
2005
ACM
14 years 2 months ago
2005
ACM
Electronic mail poses a number of unusual challenges for the design of information retrieval systems and test collections, including informal expression, conversational structure,...
CIKM
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes a framework for defining domain specific Feature Functions in a user friendly form to be used in a Maximum Entropy Markov Model (MEMM) for the Named Entity Re...
ICCBR
1999
Springer
14 years 1 months ago
1999
Springer
Case-based problem-solving systems reason and learn from experiences, building up case libraries of problems and solutions to guide future reasoning. The expected bene ts of this l...