1187 search results - page 50 / 238 » Graph-Based Procedural Abstraction |
WSC
2008
15 years 1 days ago
2008
Emergent behaviors in simulations require explanation, so that valid behaviors can be separated from design or coding errors. Validation of emergent behavior requires accumulation...
184
click to vote
ISBMS
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Dental implantology procedures are among the most complex surgical procedures executed by dentists. During the critical part of the procedure, the jawbone is drilled at t...
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
Abstract In this paper, we describe an automatic synthesis procedure that distributes synchronous programs on a set of desynchronized processing elements. Our distribution procedur...
LICS
2002
IEEE
15 years 2 months ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...
107
click to vote
CAV
2008
Springer
14 years 11 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...