4117 search results - page 505 / 824 » On the Satisfiability of Complex Constraints |
205
Voted
EMSOFT
2005
Springer
16 years 11 days ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
192
click to vote
ICCAD
2003
IEEE
16 years 3 days ago
2003
IEEE
This work presents a formal probabilistic approach for solving optimization problems in design automation. Prediction accuracy is very low especially at high levels of design flo...
198
Voted
ICRA
2003
IEEE
16 years 3 days ago
2003
IEEE
- This paper presents a third-order spline interpolation based trajectory planning method which is aiming to achieve smooth biped swing leg trajectory by reducing the instant veloc...
168
click to vote
AOSD
2003
ACM
16 years 2 days ago
2003
ACM
An effective requirements engineering (RE) approach must harmonise the need to achieve separation of concerns with the need to satisfy broadly scoped requirements and constraints....
160
click to vote
COLCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
— Video streaming on mobile devices such as PDA’s, laptop PCs, pocket PCs and cell phones is becoming increasingly popular. These mobile devices are typically constrained by th...