Sciweavers

4987 search results - page 709 / 998
» Support Ordered Resolution
Sort
View
CDVE
2004
Springer
135views Visualization» more  CDVE 2004»
16 years 3 days ago
Multimodal Interaction in a Collaborative Virtual Brainstorming Environment
Abstract. In this paper we present our work in setting up a collaborative virtual environment (CVE) framework which is built to support collaborative creative meetings for geograph...
Fabian Di Fiore, Peter Vandoren, Frank Van Reeth
CIKM
2004
Springer
16 years 2 days ago
Approximating the top-m passages in a parallel question answering system
We examine the problem of retrieving the top-m ranked items from a large collection, randomly distributed across an n-node system. In order to retrieve the top m overall, we must ...
Charles L. A. Clarke, Egidio L. Terra
CIS
2004
Springer
16 years 2 days ago
Fast Query Over Encrypted Character Data in Database
There are a lot of very important data in database, which need to be protected from attacking. Cryptographic support is an important mechanism of securing them. People, however, mu...
Zheng-Fei Wang, Jing Dai, Wei Wang 0009, Baile Shi
CONCUR
2004
Springer
16 years 2 days ago
Probabilistic Event Structures and Domains
Abstract. This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is l...
Daniele Varacca, Hagen Völzer, Glynn Winskel
EMSOFT
2004
Springer
16 years 2 days ago
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
Albert Benveniste, Benoît Caillaud, Luca P. ...