3256 search results - page 607 / 652 » Applications of Formal Methods to System Design and Verifica... |
122
click to vote
INFOCOM
2011
IEEE
14 years 1 months ago
2011
IEEE
—Target tracking is a main application of wireless sensor networks (WSNs), and has been studied widely [4], [10]. In this work, we study indoor passive tracking problem using WSN...
ICMI
2004
Springer
15 years 3 months ago
2004
Springer
Perhaps the most fundamental application of affective computing would be Human-Computer Interaction (HCI) in which the computer is able to detect and track the user’s affective ...
113
click to vote
MMDB
2003
ACM
15 years 3 months ago
2003
ACM
The increased use of video data sets for multimedia-based applications has created a demand for strong video database support, including efficient methods for handling the content...
SAC
2009
ACM
15 years 2 months ago
2009
ACM
This paper proposes a novel method of achieving fast networking in hosted virtual machine (VM) environments. This method, called socket-outsourcing, replaces the socket layer in a...
100
click to vote
CP
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Interval-based methods can approximate all the real solutions of a system of equations and inequalities. The Box interval constraint propagation algorithm enforces Box co...