Sciweavers

7682 search results - page 409 / 1537
» Active Appearance Models
Sort
View
ICRA
1998
IEEE
111views Robotics» more  ICRA 1998»
15 years 12 months ago
Weighting Observations: The Use of Kinematic Models in Object Tracking
We describe a model-based object tracking system that updates the configuration parameters of an object model based upon information gathered from a sequence of monocular images. ...
Kevin Nickels, Seth Hutchinson
CIARP
2006
Springer
15 years 11 months ago
Color Texture Segmentation by Decomposition of Gaussian Mixture Model
Abstract. Recently we have proposed Gaussian mixtures as a local statistical model to synthesize artificial textures. We describe the statistical dependence of pixels of a movable ...
Jiri Grim, Petr Somol, Michal Haindl, Pavel Pudil
ESAW
2006
Springer
15 years 11 months ago
Modelling and Executing Complex and Dynamic Business Processes by Reification of Agent Interactions
Interaction refers to an abstract and intangible concept. In modelling, intangible concepts can be embodied and made explicit. This allows to manipulate the abstractions and to bui...
Marco Stuit, Nick B. Szirbik
EUMAS
2006
15 years 9 months ago
Modeling Holonic Systems with an Organizational approach
Systems often exhibit hierarchical structures and multiple levels of abstraction, and MultiAgent Systems, even if they have proved their adequacy to model such systems, mains in t...
Sebastian Rodriguez, Nicolas Gaud, Vincent Hilaire...
ENTCS
2007
134views more  ENTCS 2007»
15 years 7 months ago
A Compact Linear Translation for Bounded Model Checking
We present a syntactic scheme for translating future-time LTL bounded model checking problems into propositional satisfiability problems. The scheme is similar in principle to th...
Paul B. Jackson, Daniel Sheridan