1757 search results - page 37 / 352 » Alternating Refinement Relations |
97
Voted
TIME
2007
IEEE
15 years 6 months ago
2007
IEEE
Forty-four relations are found between an interval and an interval with a gap ( rIIg ), capturing semantics that are distinct from those of the sets of constituting intervals and ...
86
Voted
PODS
1989
ACM
15 years 4 months ago
1989
ACM
The alternating xpoint of a logic program with negation is de ned constructively. The underlying idea is monotonically to build up a set of negative conclusions until the least xp...
101
click to vote
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...
200
click to vote
ICDE
2003
IEEE
16 years 1 months ago
2003
IEEE
We present a technique for refining the design of relational storage for XML data based on XML key propagation. Three algorithms are presented: one checks whether a given function...
101
Voted
MM
2004
ACM
15 years 6 months ago
2004
ACM
We introduce a novel approach to the creation of Virtual Reality Art installations, which supports the design of alternative worlds, in which laws of Physics can be redefined to i...