5924 search results - page 285 / 1185 » Normal Process Representatives |
170
click to vote
APAL
2007
15 years 6 months ago
2007
In this paper we consider a type system with a universal type ω where any term (whether open or closed, β-normalising or not) has type ω. We provide this type system with a rea...
159
click to vote
AUTOMATICA
2010
15 years 6 months ago
2010
Linear System Identification yields a nominal model parameter, which minimizes a specific criterion based on the single inputoutput data set. Here we investigate the utility of va...
170
click to vote
CAGD
2008
15 years 6 months ago
2008
A plane algebraic curve can be represented as the zero-set of a polynomial in two - or if one takes homogenous coordinates: three - variables. The coefficients of the polynomial de...
136
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
200
click to vote
CVIU
2006
15 years 6 months ago
2006
We present algorithms for recognizing human motion in monocular video sequences, based on discriminative Conditional Random Field (CRF) and Maximum Entropy Markov Models (MEMM). E...