6020 search results - page 343 / 1204 » A New Approach to Model Counting |
184
click to vote
WSC
1997
15 years 8 months ago
1997
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...
161
click to vote
VRML
2006
ACM
16 years 22 days ago
2006
ACM
In this paper, we present a new approach for remote visualization of large 3D cities. Our approach is based on expressive rendering (also known as Non-Photorealistic Rendering), a...
178
click to vote
AAAI
2000
15 years 8 months ago
2000
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...
162
click to vote
PAMI
2006
15 years 6 months ago
2006
We describe an algorithm for context-based segmentation of visual data. New frames in an image sequence (video) are segmented based on the prior segmentation of earlier frames in ...
174
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
Dynamic system adaptation is modeled in the coordination language Paradigm as coordination of collaborating components. A special component McPal allows for addition of new behavio...