482 search results - page 12 / 97 » Modelling Search Strategies in Rules2CP |
CONSTRAINTS
2007
13 years 8 months ago
2007
In this paper we give an overview of some industrial applications built using global constraints. We look at three systems from different application domains and show the core mo...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
Visual search is an important part of human-computer interaction. It is critical that we build theory about how people visually search displays in order to better support the user...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
Search engine results are usually presented in some form of text summary (e.g., document title, some snippets of the page's content, a URL, etc). Based on the information con...
FM
2006
Springer
14 years 12 days ago
2006
Springer
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
JMLR
2012
11 years 11 months ago
2012
Grid search and manual search are the most widely used strategies for hyper-parameter optimization. This paper shows empirically and theoretically that randomly chosen trials are ...