5638 search results - page 309 / 1128 » On presence |
159
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
162
click to vote
ICARIS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We were inspired by the role of co-stimulation in the Biological immune system (BIS). We propose and evaluate an algorithm for energy efficient misbehavior detection in a...
146
click to vote
ICMI
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we present a novel system for driver-vehicle interaction which combines speech recognition with facialexpression recognition to increase intention recognition accura...
156
click to vote
ICOST
2009
Springer
16 years 1 months ago
2009
Springer
This paper discuss the ability to obtain a reliable pervasive information at home from a network of localizing sensors allowing to follow the different locations at which a depend...
184
click to vote
IDA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Joint diagonalization for ICA is often performed on the orthogonal group after a pre-whitening step. Here we assume that we only want to extract a few sources after pre-w...