Sciweavers

553 search results - page 49 / 111
» A General Theory of Additive State Space Abstractions
Sort
View
STOC
2004
ACM
126views Algorithms» more  STOC 2004»
14 years 9 months ago
Bypassing the embedding: algorithms for low dimensional metrics
The doubling dimension of a metric is the smallest k such that any ball of radius 2r can be covered using 2k balls of raThis concept for abstract metrics has been proposed as a na...
Kunal Talwar
MFCS
1998
Springer
14 years 26 days ago
Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation
Abstract. We provide concise abstract code for running the Java Virtual Machine (JVM) to execute compiled Java programs, and define a general compilation scheme of Java programs to...
Egon Börger, Wolfram Schulte
CIE
2005
Springer
14 years 2 months ago
A Network Model of Analogue Computation over Metric Algebras
Abstract. We define a general concept of a network of analogue modules connected by channels, processing data from a metric space A, and operating with respect to a global continu...
J. V. Tucker, Jeffery I. Zucker
IBERAMIA
2004
Springer
14 years 2 months ago
Constrainedness and Redundancy by Constraint Ordering
Abstract. In constraint satisfaction, a general rule is to tackle the hardest part of a search problem first. In this paper, we introduce a parameter (τ) that measures the constr...
Miguel A. Salido, Federico Barber
HYBRID
2001
Springer
14 years 1 months ago
Robust Controller Synthesis for Hybrid Systems Using Modal Logic
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
Thomas Moor, Jennifer M. Davoren