Sciweavers

5267 search results - page 318 / 1054
» Methods for Knowledge Based Controlling of Distributed Syste...
Sort
View
CIMCA
2006
IEEE
16 years 24 days ago
Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
Devinder Thapa, Jaeil Park, Gi-Nam Wang, Dongmin S...
ICPR
2008
IEEE
16 years 8 months ago
Clothes-invariant gait identification using part-based adaptive weight control
This paper describes a method of part-based gait identification under substantial clothes variations. When clothes types between a gallery and a probe are different, silhouettes f...
Md. Altab Hossain, Wang Junqui, Yasushi Makihara, ...
JMIV
2010
184views more  JMIV 2010»
15 years 5 months ago
An Optimal Control Formulation of an Image Registration Problem
The basic idea of image registration is to find a reasonable transformation of an image so that the resulting difference between it and another image is made small. We derive an o...
Eunjung Lee, Max Gunzburger
ATAL
2009
Springer
16 years 1 months ago
Boolean combinations of weighted voting games
Weighted voting games are a natural and practically important class of simple coalitional games, in which each agent is assigned a numeric weight, and a coalition is deemed to be ...
Piotr Faliszewski, Edith Elkind, Michael Wooldridg...
AAAI
1993
15 years 8 months ago
On the Adequateness of the Connection Method
Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not ad...
Antje Beringer, Steffen Hölldobler