503 search results - page 56 / 101 » Equality In Lazy Computation Systems |
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract— This paper presents a methodology for the decentralised control of multiple 3-dimensional nonholonomic agents. The proposed control scheme is based on Navigation Functi...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
This paper proposes a type-and-effect system called Teq, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambd...
ISSS
2002
IEEE
14 years 1 months ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
ICCV
2003
IEEE
14 years 10 months ago
2003
IEEE
In this paper we consider the images taken from pairs of parabolic catadioptric cameras separated by discrete motions. Despite the nonlinearity of the projection model, the epipol...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
A new face recognition algorithm is presented. It supposes that a video sequence of a person is available both at enrollment and test time. During enrollment, a client Gaussian Mi...