1669 search results - page 28 / 334 » Structured Specification of Model Interpreters |
145
Voted
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
136
click to vote
KCAP
2005
ACM
15 years 8 months ago
2005
ACM
An ultimate goal of AI is to build end-to-end systems that interpret natural language, reason over the resulting logical forms, and perform actions based on that reasoning. This r...
114
click to vote
IDA
2009
Springer
15 years 9 months ago
2009
Springer
We present a novel extension to Independent Component Analysis (ICA), where the data is generated as the product of two submodels, each of which follow an ICA model, and which comb...
113
click to vote
CSB
2004
IEEE
15 years 6 months ago
2004
IEEE
Proteases play a fundamental role in the control of intra- and extracellular processes by binding and cleaving specific amino acid sequences. Identifying these targets is extremel...
128
Voted
DLOG
2000
15 years 3 months ago
2000
Recently, there has been a wide interest in using ontologies on the Web. As a basis for this, RDF Schema (RDFS) provides means to define vocabulary, structure and constraints for ...