Sciweavers

2272 search results - page 217 / 455
» Validity Invariants and Effects
Sort
View
DATE
2002
IEEE
97views Hardware» more  DATE 2002»
14 years 3 months ago
Analog IP Testing: Diagnosis and Optimization
In this paper, we present an innovative methodology to estimate and improve the quality of analog and mixed-signal circuit testing. We first detect and reduce the redundancy in th...
Carlo Guardiani, Patrick McNamara, Lidia Daldoss, ...
ICRA
2002
IEEE
132views Robotics» more  ICRA 2002»
14 years 3 months ago
Visually Built Task Models for Robot Teams in Unstructured Environments
In field environments it is not usually possible to provide robotic systems with valid geometric models of the task and environment. The robot or robot teams will need to create t...
Vivek A. Sujan, Steven Dubowsky
CDC
2009
IEEE
119views Control Systems» more  CDC 2009»
14 years 3 months ago
Optimal controlled trajectories for a mathematical model of anti-angiogenic therapy in cancer
Abstract— Anti-angiogenic therapy is a novel treatment approach in cancer therapy that aims at preventing a tumor from developing a network of blood vessels and capillaries that ...
Urszula Ledzewicz, Heinz Schättler
CDC
2009
IEEE
116views Control Systems» more  CDC 2009»
14 years 3 months ago
Autonomous motorcycles for agile maneuvers, part II: Control systems design
— In this paper, we present trajectory tracking and balancing of autonomous motorcycles for agile maneuvers. Based on the newly developed autonomous motorcycle dynamics in the co...
Jingang Yi, Yizhai Zhang, Dezhen Song
EUROGP
2001
Springer
110views Optimization» more  EUROGP 2001»
14 years 3 months ago
General Schema Theory for Genetic Programming with Subtree-Swapping Crossover
Abstract. In this paper a new, general and exact schema theory for genetic programming is presented. The theory includes a microscopic schema theorem applicable to crossover operat...
Riccardo Poli