2713 search results - page 240 / 543 » Parameterized Tree Systems |
153
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
We present a new model-based bundle adjustment algorithm to recover the 3D model of a scene/object from a sequence of images with unknown motions. Instead of representing scene/ob...
194
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
Multisubject statistical analyses of diffusion tensor images in regions of specific white matter tracts have commonly measured only the mean value of a scalar invariant such as the...
300
click to vote
PADL
2009
Springer
16 years 6 months ago
2009
Springer
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...
287
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
In PLT Scheme, programs consist of modules with contracts. The latter describe the inputs and outputs of functions and objects via predicates. A run-time system enforces these pre...
154
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...