Sciweavers

1059 search results - page 121 / 212
» Unification-Based Semantic Interpretation
Sort
View
AIS
2006
Springer
15 years 4 months ago
Context enhancement for co-intentionality and co-reference in asynchronous CMC
The regulative and semantic `distance' of electronic conferencing may impede the topical alignment and the unambiguous interpretation of messages, hindering collaborative lear...
J. van der Pol, Wilfried Admiraal, P. Simons
FUIN
2008
88views more  FUIN 2008»
15 years 4 months ago
Preferential 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...
Gösta Grahne, Alex Thomo, William W. Wadge
AML
2004
89views more  AML 2004»
15 years 4 months ago
The logic of equilibrium and abelian lattice ordered groups
We introduce a deductive system Bal which models the logic of balance of opposing forces or of balance between conflicting evidence or influences. "Truth values" are int...
Adriana Galli, Renato A. Lewin, Marta Sagastume
APIN
2000
103views more  APIN 2000»
15 years 4 months ago
Probabilistic Pattern Matching and the Evolution of Stochastic Regular Expressions
The use of genetic programming for probabilistic pattern matching is investigated. A stochastic regular expression language is used. The language features a statistically sound sem...
Brian J. Ross
TPLP
2002
69views more  TPLP 2002»
15 years 4 months ago
Soundness, idempotence and commutativity of set-sharing
It is important that practical data-flow analyzers are backed by reliably proven theoretical Abstract interpretation provides a sound mathematical framework and necessary properti...
Patricia M. Hill, Roberto Bagnara, Enea Zaffanella