34181 search results - page 33 / 6837 » The Computer System GRAPHOGRAPH |
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. A data driven system implies the need to integrate data acquisition and signal processing into the same system that will interact with this information. This can be done ...
DBISP2P
2003
Springer
14 years 26 days ago
2003
Springer
In this paper we give a robust logical and computational characterisation of peer-to-peer (p2p) database systems. We first define a precise model-theoretic semantics of a p2p sys...
WACV
2002
IEEE
14 years 16 days ago
2002
IEEE
This paper presents a multimodal crisis management system (XISM). It employs processing of natural gesture and speech commands elicited by a user to efficiently manage complex dyn...
HICSS
2000
IEEE
14 years 1 days ago
2000
IEEE
Computer mediated communication (CMC) systems are providing new ways to communicate. Yet many text-based CMC systems do not represent the invisible, interactive practices, such as...
IFM
2010
Springer
2010
Springer
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
13 years 6 months ago
Stochastic satisfiability modulo theories (SSMT), which is an extension of satisfiability modulo theories with randomized quantification, has successfully been used as a symboli...