Sciweavers

2163 search results - page 160 / 433
» cases 2004
Sort
View
ICCD
2004
IEEE
128views Hardware» more  ICCD 2004»
16 years 3 months ago
Static Transition Probability Analysis Under Uncertainty
Deterministic gate delay models have been widely used to find the transition probabilities at the nodes of a circuit for calculating the power dissipation. However, with progress...
Siddharth Garg, Siddharth Tata, Ravishankar Arunac...
ESA
2004
Springer
128views Algorithms» more  ESA 2004»
15 years 12 months ago
Incremental Algorithms for Facility Location and k-Median
In the incremental versions of Facility Location and k-Median, the demand points arrive one at a time and the algorithm must maintain a good solution by either adding each new dema...
Dimitris Fotakis
CORR
2004
Springer
191views Education» more  CORR 2004»
15 years 6 months ago
Artificial Intelligence and Systems Theory: Applied to Cooperative Robots
- This paper describes an approach to the design of a population of cooperative robots based on concepts borrowed from Systems Theory and Artificial Intelligence The research has b...
Pedro U. Lima, Luís M. M. Custódio
AMDO
2004
Springer
15 years 12 months ago
Recognition and Tracking of the Members of a Moving Human Body
We present a method to solve the human silhouette tracking problem using 18 major human points. We used: a simple 2D model for the human silhouette, a linear prediction technique f...
Costas Panagiotakis, Georgios Tziritas
CAV
2004
Springer
202views Hardware» more  CAV 2004»
15 years 12 months ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha