Sciweavers

2061 search results - page 219 / 413
» Measuring Corner Properties
Sort
View
186
Voted
CONCUR
2001
Springer
15 years 11 months ago
Probabilistic Information Flow in a Process Algebra
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
Alessandro Aldini
EMMCVPR
2001
Springer
15 years 11 months ago
Averaged Template Matching Equations
By exploiting an analogy with averaging procedures in fluid dynamics, we present a set of averaged template matching equations. These equations are analogs of the exact template m...
Anil N. Hirani, Jerrold E. Marsden, James Arvo
GI
2001
Springer
15 years 11 months ago
Proactive Services in a Distributed Traffic Telematics Application
: The paper describes a mobile application for traffic telematics, based on the Jini middleware. The application is realized as a set of user-level services, characterized by follo...
Nils Gura, Albert Held, Jörg Kaiser
DATE
2000
IEEE
82views Hardware» more  DATE 2000»
15 years 11 months ago
Constructive Library-Aware Synthesis Using Symmetries
In this paper a constructive library-aware multilevel logic synthesis approach using symmetries is described. It integrates the technology-independent and technologydependent stag...
Victor N. Kravets, Karem A. Sakallah
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...