2409 search results - page 384 / 482 » Logical systems for structured specifications |
163
Voted
ICIW
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we present an extension of PHIL, a declarative language for filtering information from XML data. The proposed approach allows us to extract relevant data as well a...
126
Voted
DFT
2007
IEEE
15 years 10 months ago
2007
IEEE
We introduce a reliable memory system that can tolerate multiple transient errors in the memory words as well as transient errors in the encoder and decoder (corrector) circuitry....
120
Voted
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
— Bayesian networks play a key role in decision support within health care. Physicians rely on Bayesian networks to give medical treatment, generate what-if scenarios, and other ...
137
Voted
MTSR
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we describe the development of an ontology of molecular and phenotypic cereals data, realized by integrating existing public web databases with the database developed...
115
click to vote
SAC
2006
ACM
15 years 9 months ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...