6438 search results - page 223 / 1288 » A Parameterised Search System |
170
click to vote
LAWEB
2005
IEEE
16 years 24 days ago
2005
IEEE
With the technology advance and the growth of Internet, the information that can be found in this net, as well as the number of users that access to look for specific data is big...
142
click to vote
SIGIR
2004
ACM
16 years 20 days ago
2004
ACM
The Implicit Query (IQ) prototype is a system which automatically generates context-sensitive searches based on a user’s current computing activities. In the demo, we show IQ ru...
188
click to vote
CP
2004
Springer
16 years 19 days ago
2004
Springer
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
193
click to vote
DAGM
2004
Springer
16 years 19 days ago
2004
Springer
The goal of our work is object categorization in real-world scenes. That is, given a novel image we want to recognize and localize unseen-before objects based on their similarity t...
205
click to vote
ITS
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...