Sciweavers

805 search results - page 49 / 161
» Solving Consensus Using Structural Failure Models
Sort
View
ML
2002
ACM
100views Machine Learning» more  ML 2002»
15 years 2 months ago
Structure in the Space of Value Functions
Solving in an efficient manner many different optimal control tasks within the same underlying environment requires decomposing the environment into its computationally elemental ...
David J. Foster, Peter Dayan
111
Voted
MOMPES
2008
IEEE
15 years 8 months ago
Architectural Concurrency Equivalence with Chaotic Models
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...
Dionisio de Niz
105
Voted
ISAAC
2007
Springer
108views Algorithms» more  ISAAC 2007»
15 years 8 months ago
Checking Value-Sensitive Data Structures in Sublinear Space
Checking value-sensitive data structures in sublinear space has been an open problem for over a decade. In this paper, we suggest a novel approach to solving it. We show that, in c...
Michael T. Goodrich, Jonathan Z. Sun
BMCBI
2004
138views more  BMCBI 2004»
15 years 2 months ago
Constraint Logic Programming approach to protein structure prediction
Background: The protein structure prediction problem is one of the most challenging problems in biological sciences. Many approaches have been proposed using database information ...
Alessandro Dal Palù, Agostino Dovier, Feder...
WSC
2000
15 years 3 months ago
Medical education as a model for simulation education
Simulation professionals need to see themselves first as systems analysts, i.e., problem solvers, rather than just simulation users. As the networked digital economy develops, sys...
Andrew F. Seila