570 search results - page 73 / 114 » Robustness and Implementability of Timed Automata |
FAST
2008
14 years 1 months ago
2008
Data corruption is one of the key problems that is on top of the radar screen of most CIOs. Continuous Data Protection (CDP) technologies help enterprises deal with data corruptio...
MICCAI
2006
Springer
14 years 12 months ago
2006
Springer
Abstract. In this paper we present an accurate cardiac boundary tracking method for 2D tagged MRI time sequences. This method naturally integrates the motion and the static local a...
DATE
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper describes an improved approach to Boolean network optimization using internal don’t-cares. The improvements concern the type of don’t-cares computed, their scope, a...
PERCOM
2010
ACM
14 years 28 days ago
2010
ACM
We present an unsupervised speaker identification system for personal annotations of conversations and meetings. The system dynamically learns new speakers and recognizes already k...
ICRA
2009
IEEE
14 years 5 months ago
2009
IEEE
— Scan matching, the problem of registering two laser scans in order to determine the relative positions from which the scans were obtained, is one of the most heavily relied-upo...