Sciweavers

7978 search results - page 758 / 1596
» Combining shared-coin algorithms
Sort
View
FGR
2000
IEEE
162views Biometrics» more  FGR 2000»
15 years 11 months ago
Person Tracking in Real-World Scenarios Using Statistical Methods
This paper presents a novel approach to robust and flexible person tracking using an algorithm that combines two powerful stochastic modeling techniques: The first one is the tech...
Gerhard Rigoll, Stefan Eickeler, Stefan Mülle...
FPGA
2000
ACM
109views FPGA» more  FPGA 2000»
15 years 11 months ago
Heterogeneous technology mapping for FPGAs with dual-port embedded memory arrays
It has become clear that on-chip storage is an essential component of high-density FPGAs. These arrays were originally intended to implement storage, but recent work has shown tha...
Steven J. E. Wilton
GD
1995
Springer
15 years 11 months ago
Fast Interactive 3-D Graph Visualization
We present a 3-D version of GEM [6], a randomized adaptive layout algorithm for nicely drawing undirected graphs, based on the spring-embedder paradigm [4]. The new version, GEM-3D...
Ingo Bruß, Arne Frick
POPL
1995
ACM
15 years 11 months ago
Parametric Program Slicing
Program slicing is a technique for isolating computational threads in programs. In this paper, we show how to mechanically extract a family of practical algorithms for computing s...
John Field, G. Ramalingam, Frank Tip
CONCUR
1991
Springer
15 years 11 months ago
A Tool Set for deciding Behavioral Equivalences
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...
Jean-Claude Fernandez, Laurent Mounier