1268 search results - page 164 / 254 » One Logic to Use Them All |
184
click to vote
EDOC
2003
IEEE
15 years 11 months ago
2003
IEEE
The Aspect Integrator Platform (AIP) from ABB was designed to build the next generation of industrial automation applications. This platform is part of a set of products that prov...
153
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
An important challenge within hyper-heuristic research is to design search methodologies that work well, not only across different instances of the same problem, but also across di...
187
click to vote
TREC
2000
15 years 7 months ago
2000
We investigated the dictionary-based query translation method combining the translation disambiguation process using statistic cooccurrence information trained from the provided c...
170
click to vote
STOC
1999
ACM
15 years 10 months ago
1999
ACM
The width of a Resolution proof is defined to be the maximal number of literals in any clause of the proof. In this paper, we relate proof width to proof length (ϭsize), in both g...
218
click to vote
JAIR
2008
15 years 6 months ago
2008
We present exact algorithms for identifying deterministic-actions' effects and preconditions in dynamic partially observable domains. They apply when one does not know the ac...