Sciweavers

42230 search results - page 28 / 8446
» Algorithms and Complexity Results for
Sort
View
BIRTHDAY
2008
Springer
13 years 10 months ago
Some Results on the Expressive Power and Complexity of LSCs
Abstract. We survey some of the main results regarding the complexity and expressive power of Live Sequence Charts (LSCs). We first describe the two main semantics given to LSCs: a...
David Harel, Shahar Maoz, Itai Segall
IJAR
2008
95views more  IJAR 2008»
13 years 8 months ago
Complexity results for enhanced qualitative probabilistic networks
While quantitative probabilistic networks (QPNs) allow the expert to state influences between nodes in the network as influence signs, rather than conditional probabilities, infer...
Johan Kwisthout, Gerard Tel
CORR
2010
Springer
96views Education» more  CORR 2010»
13 years 7 months ago
Parameterized Complexity Results in Symmetry Breaking
Abstract. Symmetry is a common feature of many combinatorial problems. Unfortunately eliminating all symmetry from a problem is often computationally intractable. This paper argues...
Toby Walsh
CORR
2010
Springer
66views Education» more  CORR 2010»
13 years 8 months ago
Eigenvalue Results for Large Scale Random Vandermonde Matrices with Unit Complex Entries
Abstract--This paper centers on the limit eigenvalue distribution for random Vandermonde matrices with unit magnitude complex entries. The phases of the entries are chosen independ...
Gabriel H. Tucci, Philip A. Whiting
AIPS
2006
13 years 10 months ago
New Complexity Results for Classical Planning Benchmarks
The 3rd and 4th International Planning Competitions have enriched the set of benchmarks for classical propositional planning by a number of novel and interesting planning domains....
Malte Helmert