2236 search results - page 235 / 448 » Language Independence and Language Tolerance in Logic Progra... |
172
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
182
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
The presence of uncertainty in the real world makes robustness to be a desired property of solutions to constraint satisfaction problems. Roughly speaking, a solution is robust if...
170
click to vote
KCAP
2003
ACM
15 years 11 months ago
2003
ACM
Modularity is a key requirement for large ontologies in order to achieve re-use, maintainability, and evolution. Mechanisms for ‘normalisation’ to achieve analogous aims are s...
144
click to vote
WSC
1998
15 years 7 months ago
1998
A simulation model is composed of inputs and logic; the inputs represent the uncertainty or randomness in the system, while the logic determines how the system reacts to the uncer...
198
click to vote
TIME
2007
IEEE
16 years 23 days ago
2007
IEEE
This paper presents the automatic extension of TERSEO to other languages, a knowledge-based system for the recognition and normalization of temporal expressions, originally develo...