4084 search results - page 115 / 817 » Constraints in spatial structures |
157
click to vote
TACS
2001
Springer
15 years 6 months ago
2001
Springer
We present a logic that can express properties of freshness, secrecy, structure, and behavior of concurrent systems. In addition to standard logical and temporal operators, our lo...
102
Voted
ICALP
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. We study entailment of structural and nonstructural recursive subtyping constraints. Constraints are formal inequalities between type expressions, interpreted over an ord...
107
click to vote
TKDE
1998
15 years 1 months ago
1998
—Existing methods for spatial joins require pre-existing spatial indices or other precomputation, but such approaches are inefficient and limited in generality. Operand data sets...
CBMS
2007
IEEE
15 years 8 months ago
2007
IEEE
Proposing a treatment to patients is one of the physicians’ most common tasks. There are different elements that influence the decision of a physician to propose an appropriate ...
106
click to vote
COLING
2008
15 years 3 months ago
2008
Reasoning about how much to generate when space is limited is a challenge for generation systems. This paper presents two algorithms that exploit the discourse structure to decide...