1917 search results - page 156 / 384 » Decisions under subjective information |
275
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
157
click to vote
ATAL
2009
Springer
16 years 1 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...
198
click to vote
ATAL
2007
Springer
16 years 22 days ago
2007
Springer
Intelligent agents that are intended to work in dynamic environments must be able to gracefully handle unsuccessful tasks and plans. In addition, such agents should be able to mak...
272
click to vote
ICARCV
2006
IEEE
16 years 18 days ago
2006
IEEE
— As confirmed by recent neurophysiological studies, the use of dynamic information is extremely important for humans in visual perception of biological forms and motion. Apart ...
171
click to vote
SIGIR
2005
ACM
16 years 3 days ago
2005
ACM
We describe a task-based evaluation to determine whether multi-document summaries measurably improve user performance when using online news browsing systems for directed research...