Sciweavers

2294 search results - page 170 / 459
» Efficient Crosstalk Estimation
Sort
View
ICIP
1998
IEEE
15 years 11 months ago
Direct Computation of Differential Invariants of Image Contours from Shading
In this paper we present a framework combining differential geometry and scale-space to show that local geometric invariants of image contours such as tangent, curvature and deriv...
Liangyin Yu, Charles R. Dyer
SAS
2009
Springer
212views Formal Methods» more  SAS 2009»
15 years 10 months ago
The Causal Graph Revisited for Directed Model Checking
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
Martin Wehrle, Malte Helmert
CLUSTER
2007
IEEE
15 years 4 months ago
Building the communication performance model of heterogeneous clusters based on a switched network
— Analytical communication performance models play an important role in prediction of the execution time of parallel applications on multiprocessors. Apart from designing such a ...
Alexey L. Lastovetsky, Vladimir Rychkov
DAC
1996
ACM
15 years 2 months ago
Stochastic Sequential Machine Synthesis Targeting Constrained Sequence Generation
- The problem of stochastic sequential machines (SSM) synthesis is addressed and its relationship with the constrained sequence generation problem which arises during power estimat...
Diana Marculescu, Radu Marculescu, Massoud Pedram
ANTSW
2008
Springer
15 years 3 days ago
Social Odometry in Populations of Autonomous Robots
The improvement of odometry systems in collective robotics remains an important challenge for several applications. In this work, we propose a localisation strategy in which robots...
Álvaro Gutiérrez, Alexandre Campo, F...