1755 search results - page 197 / 351 » An efficient simulation algorithm based on abstract interpre... |
131
Voted
ECAI
1992
Springer
15 years 7 months ago
1992
Springer
ABSTRACT. This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to "define" propositions u...
136
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract-- This paper focuses on the identification of nonlinear hybrid systems involving unknown nonlinear dynamics. The proposed method extends the framework of [1] by introducin...
126
click to vote
RECOMB
2001
Springer
15 years 8 months ago
2001
Springer
High-throughput, data-directed computational protocols for Structural Genomics (or Proteomics) are required in order to evaluate the protein products of genes for structure and fu...
153
click to vote
JAIR
2010
15 years 1 months ago
2010
Noisy probabilistic relational rules are a promising world model representation for several reasons. They are compact and generalize over world instantiations. They are usually in...
133
Voted
SIAMSC
2008
15 years 3 months ago
2008
Model order reduction (MOR) is common in simulation, control and optimization of complex dynamical systems arising in modeling of physical processes and in the spatial discretizati...