1643 search results - page 183 / 329 » Consistability: Describing Usually Consistent Systems |
104
click to vote
TCS
2008
14 years 10 months ago
2008
In this paper, we present a fully automatizable approach to detecting loops in standard term rewriting. Our method is based on semi-unification and an unfolding operation which pr...
LDVF
2000
14 years 10 months ago
2000
In this paper we describe Lokutor, a virtual human. Lokutor is a partially autonomous agent, inhabiting a 3D virtual environment. The agent can be controlled via natural language ...
AEI
1999
14 years 10 months ago
1999
Ensuring that the content of a rule-base, which is being encoded, is free from problems of consistency, completeness, and conciseness, is necessary to avoid any performance errors...
JNCA
2010
14 years 8 months ago
2010
This paper describes a novel approach for managing service-centric communications networks called distributed autonomic management (DAM). Current approaches to network management ...
ACL
2010
14 years 8 months ago
2010
We present a grand challenge to build a corpus that will include all of the world's languages, in a consistent structure that permits large-scale cross-linguistic processing,...