6020 search results - page 108 / 1204 » A New Approach to Model Counting |
133
Voted
ICSE
2009
IEEE-ACM
15 years 8 months ago
2009
IEEE-ACM
Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...
132
click to vote
GRAPHICSINTERFACE
2007
15 years 5 months ago
2007
In this paper we propose a GPU based interactive geometric modeling approach to designing fine level features on subdivision surfaces. Displacement mapping is a technique for addi...
155
click to vote
CVPR
2006
IEEE
16 years 5 months ago
2006
IEEE
The detection and tracking of three-dimensional human body models has progressed rapidly but successful approaches typically rely on accurate foreground silhouettes obtained using...
266
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
147
click to vote
APSCC
2009
IEEE
15 years 9 months ago
2009
IEEE
Enterprise Architecture (EA) has become an important means to acquire and maintain knowledge about the structure and behavior of the enterprises and to develop the required IT sys...