2425 search results - page 270 / 485 » Practical performance models for complex, popular applicatio... |
201
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
One of the starting points of propositional proof complexity is the seminal paper by Cook and Reckhow [6], where they defined propositional proof systems as poly-time computable f...
209
click to vote
IEEEICCI
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract— The underwater environment presents many challenges for robotic sensing including highly variable lighting and the presence of dynamic objects such as fish and suspend...
182
click to vote
ATAL
1995
Springer
15 years 10 months ago
1995
Springer
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...
185
click to vote
CIKM
2005
Springer
16 years 5 days ago
2005
Springer
XML documents are frequently used in applications such as business transactions and medical records involving sensitive information. Typically, parts of documents should be visibl...
194
click to vote
RECSYS
2010
ACM
15 years 6 months ago
2010
ACM
Collaborative filtering is a popular approach for building recommender systems. Current collaborative filtering algorithms are accurate but also computationally expensive, and so ...