923 search results - page 160 / 185 » Proving the value of formal methods |
114
click to vote
EACL
2003
ACL Anthology
15 years 3 months ago
2003
ACL Anthology
This paper provides a method for generating compact and efficient code to implement the enforcement of a description in typed feature logic. It does so by viewing information abo...
121
click to vote
INFFUS
2006
15 years 1 months ago
2006
In previous papers, we have presented a logic-based framework based on fusion rules for merging structured news reports [Hun00, Hun02b, Hun02a, HS03, HS04]. Structured news report...
135
click to vote
IAJIT
2010
2010
Representing Uncertainty in Medical Knowledge: An Interval Based Approach for Binary Fuzzy Relations
15 years 13 days ago
: This paper addresses issues involved in representation of causal relationships between medical categories. An interval based approach for medical binary fuzzy relations is propos...
118
click to vote
MMAS
2010
Springer
14 years 8 months ago
2010
Springer
We present a formal procedure for structure-preserving model reduction of linear second-order and Hamiltonian control problems that appear in a variety of physical contexts, e.g., ...
111
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Affymetrix GeneChip microarrays are popular platforms for expression profiling in two types of studies: detection of differential expression computed by p-values of t-...