426 search results - page 67 / 86 » SAT-Based Techniques in System Synthesis |
AMDO
2000
Springer
14 years 4 days ago
2000
Springer
- In this paper we present a specific matching technique based on basic motor patterns between two image sequences taken from different view points and a VRML synthetic human model...
SAC
2008
ACM
13 years 8 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
AC
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...
TCAD
2008
13 years 8 months ago
2008
Abstract--For modern embedded systems in the realm of highthroughput multimedia, imaging, and signal processing, the complexity of embedded applications has reached a point where t...
DAC
2007
ACM
14 years 9 months ago
2007
ACM
Randomness is inherent to biochemistry: at each instant, the sequence of reactions that fires is a matter of chance. Some biological systems exploit such randomness, choosing betw...