Sciweavers

1445 search results - page 85 / 289
» Properties of state spaces and their applications
Sort
View
FLAIRS
2000
15 years 8 months ago
Verification of Cooperating Systems - An Approach Based on Formal Languages
Behaviour of systems is described by formal languages: the sets of all sequences of actions. Regarding ion, alphabetic language homomorphisms are compute abstract behaviours. To a...
Peter Ochsenschläger, Jürgen Repp, Rolan...
ECCV
2002
Springer
16 years 8 months ago
Revisiting Single-View Shape Tensors: Theory and Applications
Abstract. Given the projection of a su cient numberof points it is possible to algebraically eliminate the camera parameters and obtain viewinvariant functions of image coordinates...
Anat Levin, Amnon Shashua
INFOCOM
2009
IEEE
16 years 1 months ago
Opportunistic Routing Algebra and its Applications
Abstract—Opportunistic routing (OR) has received much attention as a new routing paradigm due to its efficient utilization of broadcasting and spacial diversity of the wireless ...
Mingming Lu, Jie Wu
ECCV
2004
Springer
16 years 10 days ago
Multi-label Image Segmentation for Medical Applications Based on Graph-Theoretic Electrical Potentials
Abstract. A novel method is proposed for performing multi-label, semi-automated image segmentation. Given a small number of pixels with user-defined labels, one can analytically (...
Leo Grady, Gareth Funka-Lea
IJCNN
2000
IEEE
15 years 11 months ago
An Incremental Growing Neural Network and its Application to Robot Control
This paper describes a novel network model, which is able to control its growth on the basis of the approximation requests. Two classes of self-tuning neural models are considered...
A. Carlevarino, R. Martinotti, Giorgio Metta, Giul...