2488 search results - page 291 / 498 » An improvement in formal verification |
120
click to vote
JAR
2006
15 years 1 months ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
123
click to vote
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation,...
105
click to vote
JSAI
2007
Springer
15 years 7 months ago
2007
Springer
This paper reports our ongoing research effort to develop a system which translates legal texts into logical forms in which we can check for inconsistency. Our logical formalizati...
119
click to vote
ICDM
2003
IEEE
15 years 6 months ago
2003
IEEE
Machine learning techniques for data extraction from semistructured sources exhibit different precision and recall characteristics. However to date the formal relationship between...
123
click to vote
EGICE
2006
15 years 5 months ago
2006
This paper describes an initial application of Multi-Attribute Collective Decision Analysis for a Design Initiative (MACDADI) on the feasibility study of a mixed-use facility. Firs...