3333 search results - page 166 / 667 » Abstract Proof Search |
159
Voted
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Search engines are becoming such an easy way to find textual resources that we wish to use them also for multimedia content; however, syntactic techniques, even if promi...
148
click to vote
ADBIS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Huge amounts of digital visual content are currently available, thus placing a demand for advanced multimedia search engines. The contribution of this paper is the presen...
145
click to vote
AI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a new hybrid constraint solving schema which retains some systematicity of constructive search while incorporating the heuristic guidance and lack of commitmen...
126
click to vote
CG
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Years of work have gone into algorithms and optimizations for twoplayer perfect-information games such as Chess and Checkers. It is only more recently that serious resear...
124
click to vote
SETN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Constructive methods obtain solutions to constraint satisfaction problem instances by iteratively extending consistent partial assignments. In this research, we study the...