6020 search results - page 147 / 1204 » A New Approach to Model Counting |
127
click to vote
CA
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a method for animating and rendering an interactive natural scenery in real-time. It improves the prairie model of [11] by enabling the on-the-fly generation ...
128
Voted
IFIP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This position paper introduces the motivation and preliminary implementation issues of a distributed simulation middleware designed to increase the performance and speed-...
175
click to vote
ENTCS
2006
15 years 4 months ago
2006
Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interfac...
144
click to vote
COGCOM
2011
14 years 10 months ago
2011
Although the mechanisms of human visual understanding remain partially unclear, computational models inspired by existing knowledge on human vision have emerged and applied to seve...
124
Voted
IESA
2007
15 years 5 months ago
2007
In this paper we introduce and explore an extension to the existing paradigm of model transformation. Specifically, we extend existing model transformation approaches by consideri...