Sciweavers

4894 search results - page 569 / 979
» The Guarding Problem - Complexity and Approximation
Sort
View
CIAC
2006
Springer
103views Algorithms» more  CIAC 2006»
15 years 8 months ago
Provisioning a Virtual Private Network Under the Presence of Non-communicating Groups
Virtual private network design in the hose model deals with the reservation of capacities in a weighted graph such that the terminals in this network can communicate with one anoth...
Friedrich Eisenbrand, Edda Happ
ECML
2006
Springer
15 years 8 months ago
Transductive Gaussian Process Regression with Automatic Model Selection
Abstract. In contrast to the standard inductive inference setting of predictive machine learning, in real world learning problems often the test instances are already available at ...
Quoc V. Le, Alexander J. Smola, Thomas Gärtne...
ESA
2006
Springer
139views Algorithms» more  ESA 2006»
15 years 8 months ago
Stochastic Shortest Paths Via Quasi-convex Maximization
Abstract. We consider the problem of finding shortest paths in a graph with independent randomly distributed edge lengths. Our goal is to maximize the probability that the path len...
Evdokia Nikolova, Jonathan A. Kelner, Matthew Bran...
FMCO
2006
Springer
128views Formal Methods» more  FMCO 2006»
15 years 8 months ago
Model-Based Test Selection for Infinite-State Reactive Systems
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu
PEPM
1991
ACM
15 years 8 months ago
The Semantics of Scheme Control-Flow Analysis
This is a follow-on to my 1988PLDIpaper, “Control-Flow Analysis e”[9]. Iusethe methodofabstractsemanticinterpretations to explicate the control-flow analysis technique presen...
Olin Shivers