1189 search results - page 196 / 238 » The Quotient of an Abstract Interpretation |
114
click to vote
NLDB
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This paper proposes an approach which utilizes natural language processing (NLP) and ontology knowledge to automatically denote the implicit semantics of textual requirem...
131
click to vote
CSL
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The notion of graph polynomials definable in Monadic Second Order Logic, MSOL, was introduced in [Mak04]. It was shown that the Tutte polynomial and its generalization, a...
115
click to vote
DALT
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. In order to facilitate the development of agent-based software, several agent programming languages and architectures, have been created. Plans in these architectures are...
186
click to vote
ECAIW
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Procedural knowledge in medicine uses to come expressed as isolated sentences in Clinical Practice Guidelines (CPG) that describe how to act in front of specific health-c...
145
click to vote
ER
2008
Springer
15 years 3 months ago
2008
Springer
Abstract Although most workflow management systems nowadays offer graphical editors for process modeling, the learning curve is still too steep for users who are unexperienced in p...