Sciweavers

3863 search results - page 509 / 773
» Function in Device Representation
Sort
View
ECCV
2006
Springer
15 years 10 months ago
Human Pose Tracking Using Multi-level Structured Models
Tracking body poses of multiple persons in monocular video is a challenging problem due to the high dimensionality of the state space and issues such as inter-occlusion of the pers...
Mun Wai Lee, Ramakant Nevatia
FMCAD
2006
Springer
15 years 10 months ago
Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling
In this paper we present a complete method for verifying properties expressed in the temporal logic CTL. In contrast to the majority of verification methods presented in recent yea...
Florian Pigorsch, Christoph Scholl, Stefan Disch
GECCO
2006
Springer
191views Optimization» more  GECCO 2006»
15 years 10 months ago
Using convex hulls to represent classifier conditions
This papers presents a novel representation of classifier conditions based on convex hulls. A classifier condition is represented by a sets of points in the problem space. These p...
Pier Luca Lanzi, Stewart W. Wilson
AICCSA
2001
IEEE
131views Hardware» more  AICCSA 2001»
15 years 10 months ago
Modeling Resources in a UML-Based Simulative Environment
The importance of early performance assessment grows as software systems increase in terms of size, logical distribution and interaction complexity. Lack of time from the side of ...
Hany H. Ammar, Vittorio Cortellessa, Alaa Ibrahim
GECCO
2000
Springer
106views Optimization» more  GECCO 2000»
15 years 10 months ago
A Genetic Segmentation Algorithm for Image Data Streams and Video
We describe a genetic segmentation algorithm for image data streams and video. This algorithm operates on segments of a string representation. It is similar to both classical gene...
Patrick Chiu, Andreas Girgensohn, Wolfgang Polak, ...