3571 search results - page 419 / 715 » Cohen and Set Theory |
174
click to vote
COMPSEC
2004
15 years 6 months ago
2004
Identifying the intentions or attempts of the monitored agents through observations is very vital in computer network security. In this paper, a plan recognition method for predict...
181
click to vote
AI
2000
Springer
15 years 6 months ago
2000
Springer
The Region-Connection Calculus (RCC) is a well established formal system for qualitative spatial reasoning. It provides an axiomatization of space which takes regions as primitive...
146
click to vote
AML
2000
15 years 6 months ago
2000
The Wholeness Axiom (WA) is an axiom schema that can be added to the axioms of ZFC in an extended language {, j}, and that asserts the existence of a nontrivial elementary embeddin...
152
click to vote
COGSCI
2002
15 years 6 months ago
2002
Selectional preferences have a long history in both generative and computational linguistics. However, since the publication of Resnik's dissertation in 1993, a new approach ...
157
click to vote
COLING
2002
15 years 6 months ago
2002
: Motivated by a systematic representation of the Chinese aspect forms that explores their intrinsic semantics and temporal logical relations, we are constructing a Chinese aspect ...