5210 search results - page 312 / 1042 » Exact geometric computation |
197
click to vote
EXACT
2008
15 years 9 months ago
2008
The monitoring of properties of complex software systems can provide the core functionality for detecting violations of such properties. However, the violations detection cannot be...
183
click to vote
EXACT
2008
15 years 9 months ago
2008
Explanations play an important part in the interaction with any intelligent system. This is particular important in context-aware and social awareness systems that regularly assume...
175
click to vote
EXACT
2008
15 years 9 months ago
2008
This paper describes a project aiming at enhancing social tagging with reasoning and explanations. So as to keep with the ease of use characteristic of social media, simple explana...
156
click to vote
ACL
2006
15 years 8 months ago
2006
Unification grammars are widely accepted as an expressive means for describing the structure of natural languages. In general, the recognition problem is undecidable for unificati...
188
Voted
IJCAI
1989
15 years 7 months ago
1989
We consider a representation for temporal relations between intervals introduced by James Allen, and its associated computational or reasoning problem: given possibly indefinite ...