10891 search results - page 1897 / 2179 » Combining Model Reductions |
114
click to vote
ISSTA
1996
ACM
15 years 7 months ago
1996
ACM
In assessing the quality of software, we would like to make engineering judgements similar to those based on statistical quality control. Ideally, we want to support statements li...
130
click to vote
SIGGRAPH
1996
ACM
15 years 7 months ago
1996
ACM
This paper describesthe application of spacetime constraints to creating transitions between segments of human body motion. The motion transition generation uses a combination of ...
116
click to vote
TAPSOFT
1997
Springer
15 years 7 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
110
click to vote
ICCAD
1994
IEEE
15 years 7 months ago
1994
IEEE
In this paper, we study the simultaneousdriver and wire sizing (SDWS) problem under two objective functions: (i) delay minimization only, or (ii) combined delay and power dissipat...
143
click to vote
ICRA
1994
IEEE
15 years 7 months ago
1994
IEEE
A mobile robot requires perception of its local environment for both sensor based locomotion and for position estimation. Occupancy grids, based on ultrasonic range data, provide ...