192 search results - page 10 / 39 » Incrementalization across object abstraction |
TCAD
2010
14 years 4 months ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
ER
2001
Springer
15 years 2 months ago
2001
Springer
Abstract Spatio-temporal extensions to data models have been an active area of research for a number of years. To date, much of this work has focused on the relational data model, ...
CHI
2003
ACM
15 years 10 months ago
2003
ACM
We demonstrate two complementary interaction techniques for electronic large displays that are designed for cameraequipped mobile phones. The first one enables the direct selectio...
KR
2004
Springer
15 years 3 months ago
2004
Springer
Modeling complex compositional objects in the field of the life sciences requires to solve intricate ontological problems, especially those related to parts of a whole, space and...
CEC
2009
IEEE
15 years 4 months ago
2009
IEEE
— Automatically synthesizing behaviors for robots with articulated bodies poses a number of challenges beyond those encountered when generating behaviors for simpler agents. One ...