Sciweavers

2144 search results - page 141 / 429
» Exact Flow Analysis
Sort
View
INFOCOM
2012
IEEE
13 years 7 months ago
Origin-destination flow measurement in high-speed networks
—An origin-destination (OD) flow between two routers is the set of packets that pass both routers in a network. Measuring the sizes of OD flows is important to many network man...
Tao Li, Shigang Chen, Yan Qiao
ICCV
2001
IEEE
16 years 6 months ago
JetStream: Probabilistic Contour Extraction with Particles
The problem of extracting continuous structures from noisy or cluttered images is a difficult one. Successful extraction depends critically on the ability to balance prior constra...
Andrew Blake, Michel Gangnet, Patrick Pérez
CAV
2005
Springer
122views Hardware» more  CAV 2005»
15 years 10 months ago
Interpolant-Based Transition Relation Approximation
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
Ranjit Jhala, Kenneth L. McMillan
ESSMAC
2003
Springer
15 years 9 months ago
Simultaneous Localization and Surveying with Multiple Agents
We apply a constrained Hidden Markov Model architecture to the problem of simultaneous localization and surveying from sensor logs of mobile agents navigating in unknown environmen...
Sam T. Roweis, Ruslan Salakhutdinov
COMPGEOM
2008
ACM
15 years 6 months ago
Arrangements of geodesic arcs on the sphere
This movie illustrates exact construction and maintenance of arrangements induced by arcs of great circles embedded on the sphere, also known as geodesic arcs, and exact computati...
Efi Fogel, Ophir Setter, Dan Halperin