Sciweavers

2956 search results - page 325 / 592
» Asim: A Performance Model Framework
Sort
View
HYBRID
1998
Springer
15 years 11 months ago
Hybrid cc with Interval Constraints
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
Björn Carlson, Vineet Gupta
ACCV
2006
Springer
15 years 10 months ago
Multi-camera Tracking of Articulated Human Motion Using Motion and Shape Cues
Abstract. We present a framework and algorithm for tracking articulated motion for humans. We use multiple calibrated cameras and an articulated human shape model. Tracking is perf...
Aravind Sundaresan, Rama Chellappa
CIVR
2006
Springer
181views Image Analysis» more  CIVR 2006»
15 years 10 months ago
Image Searching and Browsing by Active Aspect-Based Relevance Learning
Aspect-based relevance learning is a relevance feedback scheme based on a natural model of relevance in terms of image aspects. In this paper we propose a number of active learning...
Mark J. Huiskes
CHARME
2001
Springer
92views Hardware» more  CHARME 2001»
15 years 10 months ago
Induction-Oriented Formal Verification in Symmetric Interconnection Networks
The framework of this paper is the formal specification and proof of applications distributed on symmetric interconnection networks, e.g. the torus or the hypercube. The algorithms...
Eric Gascard, Laurence Pierre
ACL
2008
15 years 8 months ago
Which Are the Best Features for Automatic Verb Classification
In this work, we develop and evaluate a wide range of feature spaces for deriving Levinstyle verb classifications (Levin, 1993). We perform the classification experiments using Ba...
Jianguo Li, Chris Brew