1329 search results - page 42 / 266 » Constraint-based model synthesis |
132
Voted
ICCAD
2003
IEEE
16 years 25 days ago
2003
IEEE
A new technique for the logic synthesis of asynchronous circuits is presented. It is based on the structural theory of Petri nets and integer linear programming. The technique is ...
123
click to vote
CC
2007
Springer
15 years 8 months ago
2007
Springer
Program refactoring, feature-based and aspect-oriented software synthesis, and model-driven development are disjoint research areas. However, they are all architectural metaprogram...
154
click to vote
CCE
2008
15 years 4 months ago
2008
The problem of optimal synthesis of an integrated water system is addressed in this work, where water using processes and water treatment operations are combined into a single net...
153
Voted
VR
2009
IEEE
15 years 10 months ago
2009
IEEE
Due to the intrinsic subtlety and dynamics of eye movements, automated generation of natural and engaging eye motion has been a challenging task for decades. In this paper we pres...
164
Voted
ICBA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Current appearance-based face recognition system encounters the difficulty to recognize faces with appearance variations, while only a small number of training images are...