Sciweavers

3995 search results - page 76 / 799
» Linearization of hybrid processes
Sort
View
126
Voted
CVPR
2006
IEEE
16 years 5 months ago
Classifying Human Dynamics Without Contact Forces
We develop a classification algorithm for hybrid autoregressive models of human motion for the purpose of videobased analysis and recognition. We assume that some temporal statist...
Alessandro Bissacco, Stefano Soatto
119
Voted
HYBRID
1999
Springer
15 years 8 months ago
Scale-Independent Hysteresis Switching
— In this paper we prove that a switched nonlinear system has several useful ISS-type properties under average dwell-time switching signals if each constituent dynamical system i...
João P. Hespanha, A. Stephen Morse
128
Voted
ENTCS
2006
141views more  ENTCS 2006»
15 years 3 months ago
A Concurrent Model for Linear Logic
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
Emmanuel Beffara
EACL
2006
ACL Anthology
15 years 5 months ago
Grammatical Role Labeling with Integer Linear Programming
In this paper, we present a formalization of grammatical role labeling within the framework of Integer Linear Programming (ILP). We focus on the integration of subcategorization i...
Manfred Klenner
117
Voted
CVPR
2008
IEEE
16 years 5 months ago
Hybrid body representation for integrated pose recognition, localization and segmentation
We propose a hybrid body representation that represents each typical pose by both template-like view information and part-based structural information. Specifically, each body par...
Cheng Chen, Guoliang Fan