6020 search results - page 1159 / 1204 » A New Approach to Model Counting |
153
click to vote
NGITS
1999
Springer
15 years 8 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
231
click to vote
WETICE
1997
IEEE
15 years 8 months ago
1997
IEEE
Contemporary product design and process development is based on an iterative specify-evaluate-revise approach which is often time intensive and therein non-responsive to customer ...
134
Voted
SIGGRAPH
1997
ACM
15 years 8 months ago
1997
ACM
Our goal is to develop physically based lighting models and perceptually based rendering procedures for computer graphics that will produce synthetic images that are visually and ...
171
click to vote
ZUM
1997
Springer
15 years 8 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
127
Voted
CICLING
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Automated language identification of written text is a wellestablished research domain that has received considerable attention in the past. By now, efficient and effecti...