1456 search results - page 61 / 292 » Two Techniques to Improve Finite Model Search |
CLEF
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. This paper describes the participation of Dublin City University in the CriES (Cross-Lingual Expert Search) pilot challenge. To realize expert search, we combine traditio...
SIGIR
2008
ACM
13 years 7 months ago
2008
ACM
We describe a new approach to information retrieval: algorithmic mediation for intentional, synchronous collaborative exploratory search. Using our system, two or more users with ...
IBPRIA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper deals with a compact catadioptric omnidirectional stereovision system based on a single camera and multi-mirrors (at least two mirrors). Many configurations w...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
This paper presents a search architecture that combines classical search techniques with spread activation techniques applied to a semantic model of a given domain. Given an ontol...
CG
2006
Springer
13 years 11 months ago
2006
Springer
In the last decade, proof-number search and Monte-Carlo methods have successfully been applied to the combinatorial-games domain. Proof-number search is a reliable algorithm. It re...