1914 search results - page 306 / 383 » Verification by Abstract Interpretation |
93
Voted
DAGSTUHL
2007
15 years 2 months ago
2007
arrhythmias (extended abstract) Elisa Fromont, Ren´e Quiniou, Marie-Odile Cordier We are interested in using parallel universes to learn interpretable models that can be subseque...
98
Voted
NDQA
2003
15 years 2 months ago
2003
Research on Question Answering has produced an arsenal of useful techniques for detecting answers that are explicitly present in the text of a collection of documents. To move bey...
105
Voted
COMPLEXITY
2007
15 years 18 days ago
2007
abstractions provides an additional supra-phenotypic vehicle for semantic inheritance, which supports the cultural heritages around which civilizations revolve. The following three...
97
Voted
DPD
2007
15 years 17 days ago
2007
Abstract. Universal Business Language (UBL) is an OASIS initiative to develop common business document schemas to provide document interoperability in the eBusiness domain. Since t...
98
Voted
COMPUTER
2002
15 years 13 days ago
2002
tail defines the level of abstraction used to implement the model's components. A highly detailed model will faithfully simulate all aspects of machine operation, whether or n...