Sciweavers

3528 search results - page 324 / 706
» A New Approach to Planning in Networks
Sort
View
DSN
2009
IEEE
16 years 1 months ago
Fitness-guided path exploration in dynamic symbolic execution
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wo...
HPDC
2005
IEEE
16 years 12 days ago
Adaptive data block scheduling for parallel TCP streams
Applications that use parallel TCP streams to increase throughput must multiplex and demultiplex data blocks over a set of TCP streams transmitting on one or more network paths. W...
Thomas J. Hacker, Brian D. Noble, Brian D. Athey
NIPS
2003
15 years 8 months ago
Max-Margin Markov Networks
In typical classification tasks, we seek a function which assigns a label to a single object. Kernel-based approaches, such as support vector machines (SVMs), which maximize the ...
Benjamin Taskar, Carlos Guestrin, Daphne Koller
ICIP
2000
IEEE
16 years 8 months ago
Accurate Detection of 3D Tubular Tree Structures
Spatial resolution of Magnetic Resonance Angiography (MRA) makes it a powerful tool for diagnosis and surgical planning. However, image interpretation and visualization tools are ...
Nicolas Flasque, Michel Desvignes, Jean-Marc Const...
ICDE
2008
IEEE
188views Database» more  ICDE 2008»
16 years 8 months ago
Efficient Aggregate Computation over Data Streams
Abstract-- Cisco's NetFlow Collector (NFC) is a powerful example of a real-world product that supports multiple aggregate queries over a continuous stream of IP flow records. ...
Kanthi Nagaraj, K. V. M. Naidu, Rajeev Rastogi, Sc...