6036 search results - page 103 / 1208 » Web search solved |
100
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Recent scaling up of decentralized partially observable Markov decision process (DEC-POMDP) solvers towards realistic applications is mainly due to approximate methods. Of this fa...
95
Voted
JCDL
2004
ACM
15 years 6 months ago
2004
ACM
A large amount of research, technical and professional documents are available today in digital formats. Digital libraries are created to facilitate search and retrieval of inform...
107
Voted
FOIKS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In this paper, we present a syntactic method for solving firstorder equational constraints over term algebras. The presented method exploits a novel notion of quasi-solve...
127
Voted
KBSE
2010
IEEE
14 years 11 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
DASFAA
2007
IEEE
15 years 7 months ago
2007
IEEE
The study of the Web graph not only yields valuable insight into Web algorithms for crawling, searching and community discovery, and the sociological phenomena that characterize it...