9730 search results - page 418 / 1946 » Relating models of backtracking |
155
click to vote
WEBI
2007
Springer
16 years 28 days ago
2007
Springer
The virtual world is comprised of data items related to each other in a variety of contexts. Often such relations can be represented as graphs that evolve over time. Examples incl...
191
click to vote
LICS
2006
IEEE
16 years 25 days ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
181
click to vote
MASCOTS
2008
15 years 8 months ago
2008
As storage deployments within enterprises continue to grow, there is an increasing need to simplify and automate. Existing tools for automation rely on extracting information in t...
185
click to vote
IJCAI
1997
15 years 8 months ago
1997
Aiming at explicit description of temporal meaning of causal relations generated by qualitative reasoning systems, this article proposes a causal time ontology which defines a se...
136
click to vote
ACL
1993
15 years 8 months ago
1993
We describe and evaluate experimentally a method for clustering words according to their distribution in particular syntactic contexts. Words are represented by the relative frequ...