26 search results - page 5 / 6 » Multimodal communication error detection for driver-car inte... |
114
Voted
ICMCS
2005
IEEE
15 years 7 months ago
2005
IEEE
The ability of a computer to detect and appropriately respond to changes in a user’s affective state has significant implications to Human-Computer Interaction (HCI). To more ac...
112
Voted
FTRTFT
2000
Springer
15 years 5 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
114
Voted
ISORC
1998
IEEE
15 years 6 months ago
1998
IEEE
The Time-Triggered Architecture (TTA) provides a computing infrastructure for the design and implementation of dependable distributed embedded systems. A large real-time applicatio...
100
Voted
SENSYS
2005
ACM
15 years 7 months ago
2005
ACM
This paper presents the Simple Packet Combining (SPaC) error-correction scheme for wireless sensor networks. Nodes buffer corrupt packets, and when two or more corrupt versions o...
134
click to vote
CRYPTO
2010
Springer
15 years 2 months ago
2010
Springer
Following Gennaro, Gentry, and Parno (Cryptology ePrint Archive 2009/547), we use fully homomorphic encryption to design improved schemes for delegating computation. In such schem...