Sciweavers

3106 search results - page 187 / 622
» Both Generic Design and Different Forms of Designing
Sort
View
ISQED
2005
IEEE
98views Hardware» more  ISQED 2005»
16 years 11 hour ago
Wire Planning with Bounded Over-the-Block Wires
Hierarchical approach greatly facilitates large-scale chip design by hiding distracting details in low-level objects. However, the lowlevel designs have to have a global view of h...
Hua Xiang, I-Min Liu, Martin D. F. Wong
HYBRID
2003
Springer
15 years 11 months ago
Approximate Stabilisation of Uncertain Hybrid Systems
Abstract−Stabilization of uncertain hybrid systems with controllable transitions is considered. Uncertainty enters in the form of a disturbance input that can affect both the co...
Yan Gao, John Lygeros, Marc Quincampoix, Nicolas S...
ICRA
1998
IEEE
87views Robotics» more  ICRA 1998»
15 years 10 months ago
Hybrid Control as a Method for Robot Motion Programming
This paper presents a class of fundamental control policies suitable for use in a novel method for designing and specifying the dynamic motion of robotic systems. Through recourse...
Alfred A. Rizzi
CHI
1992
ACM
15 years 10 months ago
Dynamic Queries for Information Exploration: An Implementation and Evaluation
We designed, implemented and evaluated a new concept for direct manipulation of databases, called dynamic queries, that allowsuserstoformulatequerieswithgraphicalwidgets,such as s...
Christopher Ahlberg, Christopher Williamson, Ben S...
COMMA
2008
15 years 7 months ago
On the Issue of Contraposition of Defeasible Rules
The past ten years have shown a great variety of approaches for formal argumentation. An interesting question is to which extent these various formalisms correspond to the differen...
Martin Caminada