Sciweavers

11716 search results - page 19 / 2344
» Computable symbolic dynamics
Sort
View
PRL
2006
139views more  PRL 2006»
13 years 9 months ago
Adaptive Hausdorff distances and dynamic clustering of symbolic interval data
This paper presents a partitional dynamic clustering method for interval data based on adaptive Hausdorff distances. Dynamic clustering algorithms are iterative two-step relocatio...
Francisco de A. T. de Carvalho, Renata M. C. R. de...
IJCAI
2001
13 years 11 months ago
Symbolic Dynamic Programming for First-Order MDPs
We present a dynamic programming approach for the solution of first-order Markov decisions processes. This technique uses an MDP whose dynamics is represented in a variant of the ...
Craig Boutilier, Raymond Reiter, Bob Price
AB
2007
Springer
14 years 3 months ago
Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
Venkatesh Mysore, Bud Mishra
FORTE
2009
13 years 7 months ago
Dynamic Symbolic Execution of Distributed Concurrent Objects
Andreas Griesmayer, Bernhard K. Aichernig, Einar B...