397 search results - page 66 / 80 » Causal Reasoning with Contexts Using Dependent Types |
ESWS
2006
Springer
13 years 11 months ago
2006
Springer
We present a comprehensive approach to ontology evaluation and validation, which have become a crucial problem for the development of semantic technologies. Existing evaluation met...
EMNLP
2010
13 years 5 months ago
2010
The task of selecting information and rendering it appropriately appears in multiple contexts in summarization. In this paper we present a model that simultaneously optimizes sele...
SMC
2010
IEEE
13 years 5 months ago
2010
IEEE
The handshake gesture is an important part of the social etiquette in many cultures. It lies at the core of many human interactions, either in formal or informal settings: exchangi...
DIMACS
1996
13 years 8 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
SIGMOD
2003
ACM
14 years 7 months ago
2003
ACM
Like HTML, many XML documents are resident on native file systems. Since XML data is irregular and verbose, the disk space and the network bandwidth are wasted. To overcome the ve...