3954 search results - page 448 / 791 » Image-based Model Completion |
120
click to vote
ICRA
1998
IEEE
15 years 9 months ago
1998
IEEE
Signi cant advances have been made in the area of macro planning for assembly operations i.e., dividing a product into sub-assemblies, determining the sequence of assembly operati...
134
Voted
TABLEAUX
1999
Springer
15 years 9 months ago
1999
Springer
Hybrid logics were proposed in 15 as a way of boosting the expressivity of modal logics via a novel mechanism: adding labels for states in Kripke models and viewing these labels as...
117
click to vote
ECBS
1997
IEEE
15 years 9 months ago
1997
IEEE
Modern warfare requires the understanding and management of increasingly complex assemblages of resources. The Advanced Battlefield Architecture for TacticalInformation Selection ...
131
click to vote
ISCA
1996
IEEE
15 years 9 months ago
1996
IEEE
In the future, advanced integrated circuit processing and packaging technology will allow for several design options for multiprocessor microprocessors. In this paper we consider ...
142
click to vote
ICCAD
1994
IEEE
15 years 9 months ago
1994
IEEE
Abstract - Today's digital design systems are running out of steam, when it comes to meeting the challenges presented by simultaneous switching, power consumption and reliabil...