6020 search results - page 488 / 1204 » A New Approach to Model Counting |
178
click to vote
GG
2008
Springer
15 years 8 months ago
2008
Springer
We present a new, high-level approach for the specification of model-to-model transformations based on declarative patterns. These are (atomic or composite) constraints on triple ...
171
click to vote
CSDA
2008
15 years 7 months ago
2008
Abstract. To study the relationship between the levels of chemical pollutants and the number of daily total hospital admissions for respiratory diseases and to find the effect of t...
204
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— In this paper we present a new system for a mobile robot to generate an articulated scene model by analyzing complex dynamic 3D scenes. The system extracts essential knowledge ...
186
click to vote
PAMI
2010
15 years 5 months ago
2010
—We describe an object detection system based on mixtures of multiscale deformable part models. Our system is able to represent highly variable object classes and achieves state-...
180
click to vote
FMCO
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...