656 search results - page 54 / 132 » Symbolic computing of nonlinear observable and observer form... |
ICCV
1999
IEEE
14 years 1 months ago
1999
IEEE
A new method for tracking contours of moving objects in clutter is presented. For a given object, a model of its contours is learned from training data in the form of a subset of ...
ACMDIS
2008
ACM
13 years 11 months ago
2008
ACM
Mobile technologies are deployed into diverse social, cultural, political and geographic settings, and incorporated into diverse forms of personal and collective mobility. We pres...
LFP
1990
13 years 10 months ago
1990
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms ...
HOTNETS
2010
13 years 3 months ago
2010
Links and content references form the foundation of the way that users interact today. Unfortunately, the links used today (URLs) are fragile since they tightly specify a protocol...
ICFP
2006
ACM
14 years 8 months ago
2006
ACM
Monads are widely used in Haskell for modeling computational effects, but defining monads remains a daunting challenge. Since every part of a monad's definition depends on it...