4469 search results - page 662 / 894 » A Language for Role Specifications |
180
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...
178
click to vote
EKAW
2008
Springer
15 years 8 months ago
2008
Springer
Ontology-driven search applications use ontological concepts either to index documents or to guide and understand the users. Since ontologies by nature are domain-dependent and app...
168
click to vote
FORTEST
2008
15 years 8 months ago
2008
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
156
click to vote
LREC
2010
15 years 8 months ago
2010
The present paper outlines the Vergina speech database, which was developed in support of research and development of corpus-based unit selection and statistical parametric speech...
178
click to vote
EMNLP
2007
15 years 8 months ago
2007
We describe our experiments using the DeSR parser in the multilingual and domain adaptation tracks of the CoNLL 2007 shared task. DeSR implements an incremental deterministic Shif...