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»
15 years 10 months 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 10 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 9 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 8 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 6 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