5639 search results - page 41 / 1128 » Timed Abstract Non-interference |
CORR
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. This article presents a new open-source C++ implementation to solve the SLAM problem, which is focused on genericity, versatility and high execution speed. It is based on...
155
click to vote
ICDCS
2012
IEEE
13 years 5 days ago
2012
IEEE
Abstract—In this paper we have proposed and designed FindingHuMo (Finding Human Motion), a real-time user tracking system for Smart Environments. FindingHuMo can perform device-f...
120
click to vote
DLT
2009
14 years 7 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
121
click to vote
TASLP
2011
14 years 4 months ago
2011
Abstract—The shifted delta cepstrum (SDC) is a widely used feature extraction for language recognition (LRE). With a high context width due to incorporation of multiple frames, S...
TIME
1997
IEEE
15 years 2 months ago
1997
IEEE
d Abstract) Heikki Mannila and Pirjo Ronkainen