Sciweavers

2163 search results - page 160 / 433
» cases 2004
Sort
View
187
Voted
ICCD
2004
IEEE
128views Hardware» more  ICCD 2004»
16 years 4 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...
153
Voted
ESA
2004
Springer
128views Algorithms» more  ESA 2004»
16 years 13 days 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
253
Voted
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
180
Voted
AMDO
2004
Springer
16 years 13 days 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
254
Voted
CAV
2004
Springer
202views Hardware» more  CAV 2004»
16 years 13 days 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