Sciweavers

137 search results - page 17 / 28
» Dynamic Friction Closure
Sort
View
VLDB
1993
ACM
121views Database» more  VLDB 1993»
14 years 1 months ago
Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases
The enforcement of semantic integrity constraints in data and knowledge bases constitutea a major performance bottleneck. Integrity constraint simplification methods aim at reduci...
Dimitris Plexousakis
ENTCS
2008
138views more  ENTCS 2008»
13 years 10 months ago
Compositionality of Statically Scheduled IP
Timing Closure in presence of long global wire interconnects is one of the main current issues in System-onChip design. One proposed solution to the Timing Closure problem is Late...
Julien Boucaron, Jean-Vivien Millo
ICSM
2008
IEEE
14 years 4 months ago
Dynamic slicing of multithreaded programs for race detection
Prior work has shown that computing dynamic slices of erroneous program values can greatly assist in locating the root cause of erroneous behavior by identifying faulty statements...
Sriraman Tallam, Chen Tian, Rajiv Gupta
ROBIO
2006
IEEE
122views Robotics» more  ROBIO 2006»
14 years 3 months ago
Non-smooth 3D Modeling of a Snake Robot with External Obstacles
Abstract— In this paper we extend a non-smooth 3D mathematical model of a snake robot to also include external obstacles to enable obstacle aided locomotion. The model is based o...
Aksel Andreas Transeth, Remco I. Leine, Christoph ...
CDC
2009
IEEE
125views Control Systems» more  CDC 2009»
14 years 2 months ago
On steady-state cornering equilibria for wheeled vehicles with drift
— In this work we derive steady-state cornering conditions for a single-track vehicle model without restricting the operation of the tires to their linear region (i.e. allowing t...
Efstathios Velenis, Emilio Frazzoli, Panagiotis Ts...