3726 search results - page 516 / 746 » A structured definition of the modeling process |
154
click to vote
MODELS
2007
Springer
16 years 21 days ago
2007
Springer
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often mor...
156
click to vote
SAT
2007
Springer
16 years 20 days ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...
166
click to vote
DATE
2005
IEEE
16 years 5 days ago
2005
IEEE
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...
158
click to vote
3DIM
2003
IEEE
15 years 12 months ago
2003
IEEE
In order to create a complete three-dimensional model of an object based on its two-dimensional images, the images have to be acquired from different views. An increasing number o...
157
click to vote
EEE
2004
IEEE
15 years 10 months ago
2004
IEEE
Web usage mining is the process of extracting interesting patterns from web logs. This paper proposes an IPA (Integrating Path traversal patterns and Association rules) model for ...