3381 search results - page 200 / 677 » Extending Dependencies with Conditions |
161
click to vote
LICS
2000
IEEE
15 years 11 months ago
2000
IEEE
We establish that the decidability of the first order theory of a class of finite structures ¢ is a simple and useful condition for guaranteeing that the expressive power of FO...
168
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
Abstract We describe the use of parametric representations of Boolean predicates to encode data-space constraints and signi cantly extend the capacity of formal veri cation. The co...
139
click to vote
ISAAC
1999
Springer
15 years 10 months ago
1999
Springer
We introduce an online relocation problem on a graph, in which a player who walks around the nodes makes decisions on whether to relocate mobile resources, while not knowing the fu...
159
click to vote
WADT
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. The conditions under which a formal system for reasoning about structural specifications, built over one logical system could be reused for reasoning about structured spe...
153
click to vote
CNSR
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we discuss the kinds of ambiguities a heuristic encounters during the process of user session reconstruction. Some criteria are introduced to measure these ambiguiti...