Sciweavers

12399 search results - page 663 / 2480
» Deformable structural models
Sort
View
AAAI
2006
15 years 8 months ago
Performing Incremental Bayesian Inference by Dynamic Model Counting
The ability to update the structure of a Bayesian network when new data becomes available is crucial for building adaptive systems. Recent work by Sang, Beame, and Kautz (AAAI 200...
Wei Li 0002, Peter van Beek, Pascal Poupart
APCCM
2004
15 years 8 months ago
Enterprise Architecture Modelling using Elastic Metaphors
Despite the hype surrounding enterprise architectures, they have delivered little on their promise. In this paper, we argue that enterprise architectures built using component-bas...
Gerald R. Khoury, Simeon J. Simoff
AROBOTS
2008
104views more  AROBOTS 2008»
15 years 7 months ago
Modeling dynamic scenarios for local sensor-based motion planning
This paper addresses the modeling of the static and dynamic parts of the scenario and how to use this information with a sensor-based motion planning system. The contribution in th...
Luis Montesano, Javier Minguez, Luis Montano
IJPP
2011
99views more  IJPP 2011»
15 years 2 months ago
Regular Lattice and Small-World Spin Model Simulations Using CUDA and GPUs
Data-parallel accelerator devices such as Graphical Processing Units (GPUs) are providing dramatic performance improvements over even multicore CPUs for lattice-oriented applicatio...
Kenneth A. Hawick, Arno Leist, Daniel P. Playne
TACAS
2009
Springer
106views Algorithms» more  TACAS 2009»
16 years 2 months ago
Hierarchical Set Decision Diagrams and Regular Models
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Ham...