2509 search results - page 353 / 502 » Abstract Geometrical Computation and Computable Analysis |
135
click to vote
SIAMADS
2010
15 years 23 days ago
2010
Abstract. We consider a novel asymptotic limit of model equations proposed to describe the formation of localized states in a vertically vibrated layer of granular material or visc...
218
click to vote
STACS
1993
Springer
15 years 10 months ago
1993
Springer
Abduction is an important form of nonmonotonic reasoning allowing one to find explanations for certain symptoms or manifestations. When the application domain is described by a l...
155
click to vote
RECOMB
2007
Springer
16 years 6 months ago
2007
Springer
Abstract. Given the substantial computational requirements of stochastic simulation, approximation is essential for efficient analysis of any realistic biochemical system. This pap...
202
click to vote
CPAIOR
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...
175
click to vote
CAV
2006
Springer
15 years 9 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...