1329 search results - page 187 / 266 » Constraint-based model synthesis |
171
click to vote
GCB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract: The production of commercial DNA microarrays is based on a light-directed chemical synthesis driven by a set of masks or micromirror arrays. Because of the natural proper...
200
click to vote
FORMATS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuo...
170
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— Humanoid robots are appealing due to their inherent dexterity. However, these potential benefits may only be realized if the corresponding motion synthesis procedure i...
145
click to vote
ICRA
1998
IEEE
15 years 10 months ago
1998
IEEE
Tolerancing decisions can profoundly impact the quality and cost of electro-mechanical assemblies. Existing approaches to tolerance analysis and synthesis in design entail detailed...
160
click to vote
DATE
2005
IEEE
15 years 12 months ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...