7623 search results - page 1345 / 1525 » Constructive Volume Modeling |
141
Voted
UAI
2007
15 years 4 months ago
2007
A research organization responds to a variety of customer requests. Each high level request is broken down into a set of low level requests. For each low level request, the resear...
193
Voted
AAIP
2009
15 years 4 months ago
2009
Inductive programming systems characteristically exhibit an exponential explosion in search time as one increases the size of the programs to be generated. As a way of overcoming ...
147
Voted
AIIDE
2009
15 years 4 months ago
2009
Players perceive information about game environments through a virtual camera. While a significant discussion in the industry and in academic research circles has centered around ...
140
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Memory-bounded techniques have shown great promise in solving complex multi-agent planning problems modeled as DEC-POMDPs. Much of the performance gains can be attributed to pruni...
122
Voted
CSL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...