Sciweavers

1162 search results - page 29 / 233
» Monotonic Semantic Interpretation
Sort
View
84
Voted
LFP
1992
78views more  LFP 1992»
15 years 1 months ago
A Syntactic Approach to Fixed Point Computation on Finite Domains
We propose a syntactic approach to performing fixed point computation on finite domains. Finding fixed points in finite domains for monotonic functions is an essential task when c...
Tyng-Ruey Chuang, Benjamin Goldberg
108
Voted
IJAR
2008
81views more  IJAR 2008»
15 years 14 days ago
Fuzzy region connection calculus: An interpretation based on closeness
One of the key strengths of the region connection calculus (RCC) -- its generality -- is also one of its most important drawbacks for practical applications. The semantics of all ...
Steven Schockaert, Martine De Cock, Chris Cornelis...
106
Voted
ACL
2006
15 years 1 months ago
An Intermediate Representation for the Interpretation of Temporal Expressions
The interpretation of temporal expressions in text is an important constituent task for many practical natural language processing tasks, including question-answering, information...
Pawel P. Mazur, Robert Dale
93
Voted
ADBIS
2005
Springer
120views Database» more  ADBIS 2005»
15 years 6 months ago
Extensible Canonical Process Model Synthesis Applying Formal Interpretation
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
Leonid A. Kalinichenko, Sergey A. Stupnikov, Nikol...
80
Voted
FSTTCS
2005
Springer
15 years 6 months ago
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saras...