780 search results - page 45 / 156 » Robustness and Randomness |
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract— We propose formal models for analyzing robustness of multi-hop control networks, where data from sensors to controllers and from controllers to actuators is sent throug...
ESA
2006
Springer
14 years 16 days ago
2006
Springer
Lower envelopes are fundamental structures in computational geometry, which have many applications, such as computing general Voronoi diagrams and performing hidden surface removal...
BIOSYSTEMS
2007
13 years 9 months ago
2007
The intricate intracellular infrastructure of all known life forms is based on proteins. The folded shape of a protein determines both the protein’s function and the set of mole...
TCAD
2002
13 years 8 months ago
2002
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
ICIP
2001
IEEE
14 years 10 months ago
2001
IEEE
This paper introduces a video object segmentation algorithm developed in the context of the European project Art.live1 where constraints on the quality of segmentation and the pro...