5855 search results - page 977 / 1171 » Test generation and minimization with |
151
click to vote
SBBD
2003
15 years 3 months ago
2003
Advanced personalization of database applications is a big challenge, in particular for distributed mobile environments. We present several new results from a prototype of a route...
AAAI
2000
15 years 3 months ago
2000
The random k-SAT model is extensively used to compare satisfiability algorithms or to find the best settings for the parameters of some algorithm. Conclusions are derived from the...
ACL
1998
15 years 3 months ago
1998
The study presented here relies on the integrated use of different kinds of knowledge in order to improve first-guess accuracy in non-word context-sensitive correction for general...
108
click to vote
AIPS
2000
15 years 3 months ago
2000
Planners from the family of Graphplan (Graphplan, IPP, STAN...) are presently considered as the most efficient ones on numerous planning domains. Their partially ordered plans can...
114
Voted
UAI
2003
15 years 3 months ago
2003
We present an application of hierarchical Bayesian estimation to robot map building. The revisiting problem occurs when a robot has to decide whether it is seeing a previously-bui...