Sciweavers

2066 search results - page 343 / 414
» Word Maturity: Computational Modeling of Word Knowledge
Sort
View
HIPC
2005
Springer
14 years 2 months ago
XCAT-C++: Design and Performance of a Distributed CCA Framework
In this paper we describe the design and implementation of a C++ based Common Component Architecture (CCA) framework, XCAT-C++. It can efficiently marshal and unmarshal large data...
Madhusudhan Govindaraju, Michael R. Head, Kenneth ...
VAST
2004
ACM
14 years 2 months ago
The Ancient Olympic Games: Being Part of the Experience
This paper presents the virtual reality applications that the Foundation of the Hellenic World has produced associated with the Olympic Games in ancient Greece. The separate virtu...
Athanasios Gaitatzes, Dimitrios Christopoulos, Geo...
AGENTCL
2003
Springer
14 years 2 months ago
A Cooperative Dialogue Game for Resolving Ontological Discrepancies
The goal of this paper is to present a computational framework that enables us to generate elementary speech act sequences in a dialogue between an electronic assistant and a compu...
Robbert-Jan Beun, Rogier M. van Eijk
BIRTHDAY
2003
Springer
14 years 2 months ago
Fair Equivalence Relations
Equivalence between designs is a fundamental notion in verification. The linear and branching approaches to verification induce different notions of equivalence. When the designs...
Orna Kupferman, Nir Piterman, Moshe Y. Vardi
PACT
2009
Springer
14 years 1 months ago
Parallel Evidence Propagation on Multicore Processors
In this paper, we design and implement an efficient technique for parallel evidence propagation on state-of-the-art multicore processor systems. Evidence propagation is a major ste...
Yinglong Xia, Xiaojun Feng, Viktor K. Prasanna