4276 search results - page 317 / 856 » Techniques for Empirical Validation |
157
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Although network bandwidth has increased dramatically, high-resolution images often take several seconds to load, and considerably longer on mobile devices over wireless connectio...
205
click to vote
ADBIS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In moving object databases, many authors assume that number and position of objects to be processed are always known in advance. Detecting an unknown moving object and pu...
183
click to vote
ADHOCNETS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Existing localization techniques such as GPS have fundamental limitations which preclude deployment in urban canyons or areas with inconsistent network availability. Augm...
207
click to vote
ICCBR
2009
Springer
16 years 1 months ago
2009
Springer
This work presents a new approach that allows the use of cases in a case base as heuristics to speed up Reinforcement Learning algorithms, combining Case Based Reasoning (CBR) and ...
200
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
State-of-the-art solvers for Quantified Boolean Formulas (QBF) have employed many techniques from the field of Boolean Satisfiability (SAT) including the use of Conjunctive Norm...