Sciweavers

1162 search results - page 171 / 233
» Monotonic Semantic Interpretation
Sort
View
RP
2009
Springer
136views Control Systems» more  RP 2009»
15 years 7 months ago
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems...
Roberto Barbuti, Francesca Levi, Paolo Milazzo, Gu...
84
Voted
DBPL
2007
Springer
83views Database» more  DBPL 2007»
15 years 6 months ago
Succinctness of Pattern-Based Schema Languages for XML
Martens et al. defined a pattern-based specification language equivalent in expressive power to the widely adopted XML Schema definitions (XSDs). This language consists of rules...
Wouter Gelade, Frank Neven
ICDT
2007
ACM
117views Database» more  ICDT 2007»
15 years 6 months ago
Preferentially Annotated Regular Path Queries
In this paper, we introduce preferential regular path queries. These are regular path queries whose symbols are annotated with preference weights for “scaling” up or down the i...
Gösta Grahne, Alex Thomo, William W. Wadge
99
Voted
LTCONF
2007
Springer
15 years 6 months ago
The DANTE Temporal Expression Tagger
In this paper we present the DANTE system, a tagger for temporal expressions in English documents. DANTE performs both recognition and normalization of these expressions in accord...
Pawel P. Mazur, Robert Dale
81
Voted
SEMWEB
2007
Springer
15 years 6 months ago
CLOnE: Controlled Language for Ontology Editing
Abstract. This paper presents a controlled language for ontology editing and a software implementation, based partly on standard NLP tools, for processing that language and manipul...
Adam Funk, Valentin Tablan, Kalina Bontcheva, Hami...