529 search results - page 83 / 106 » Property Directed Abstract Interpretation |
ISWC
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— This paper describes a feasibility study for a selfcontained, wearable full-body motion capture system based on time-of-flight measurements that provide absolute dista...
ECCV
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Markov and Conditional random fields (CRFs) used in computer vision typically model only local interactions between variables, as this is computationally tractable. In t...
INFOCOM
2003
IEEE
14 years 29 days ago
2003
IEEE
Abstract— Network monitoring and diagnosis are key to improving network performance. The difficulties of performance monitoring lie in today’s fast growing Internet, accompani...
ECML
2003
Springer
14 years 27 days ago
2003
Springer
Abstract. This paper studies the properties and performance of models for estimating local probability distributions which are used as components of larger probabilistic systems ...
ASYNC
1999
IEEE
13 years 12 months ago
1999
IEEE
This paper discusses the application of the timing analysis tool ATACS to the high performance, self-resetting and delayed-reset domino circuits being designed at IBM's Austi...