9015 search results - page 1425 / 1803 » Using Structural Computing to Support Information Integratio... |
180
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a novel multimodal system to track the participants and identify the active speaker in the smart meeting room. Indoor localization system, Cicada, is used to o...
166
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a tunable diagnostic protocol for generic time-triggered (TT) systems to detect crash and send/receive omission faults. Compared to existing diagnostic and membership p...
173
click to vote
DSVIS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
159
click to vote
DSD
2004
IEEE
15 years 10 months ago
2004
IEEE
Tile-based rendering (also called chunk rendering or bucket rendering) is a promising technique for low-power, 3D graphics platforms. This technique decomposes a scene into smalle...
194
click to vote
CRYPTO
2006
Springer
15 years 10 months ago
2006
Springer
We present the first universally verifiable voting scheme that can be based on a general assumption (existence of a non-interactive commitment scheme). Our scheme is also the first...