Sciweavers

2479 search results - page 300 / 496
» A Computational Theory of Working Memory
Sort
View
DPPI
2007
ACM
15 years 10 months ago
Exploring design concepts for sharing experiences through digital photography
In this research, we aim to explore meaningful design directions for future photography applications with a focus on the experiences around sharing. We review a wide-rage of photo-...
Heekyoung Jung, Kay Connelly
FMCAD
2004
Springer
15 years 10 months ago
Bloom Filters in Probabilistic Verification
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
Peter C. Dillinger, Panagiotis Manolios
AIIDE
2008
15 years 9 months ago
Offline Planning with Hierarchical Task Networks in Video Games
Artificial intelligence (AI) technology can have a dramatic impact on the quality of video games. AI planning techniques are useful in a wide range of game components, including m...
John Paul Kelly, Adi Botea, Sven Koenig
BIRTHDAY
2008
Springer
15 years 8 months ago
AND/OR Multi-valued Decision Diagrams for Constraint Networks
The paper is an overview of a recently developed compilation data structure for graphical models, with specific application to constraint networks. The AND/OR Multi-Valued Decision...
Robert Mateescu, Rina Dechter
ERSA
2004
134views Hardware» more  ERSA 2004»
15 years 8 months ago
A High Performance Application Representation for Reconfigurable Systems
Modern reconfigurable computing systems feature powerful hybrid architectures with multiple microprocessor cores, large reconfigurable logic arrays and distributed memory hierarch...
Wenrui Gong, Gang Wang, Ryan Kastner