3169 search results - page 371 / 634 » Robust Timed Automata |
193
click to vote
ACNS
2004
Springer
15 years 10 months ago
2004
Springer
In the literature, voting protocols are considered secure if they satisfy requirements such as privacy, accuracy, robustness, etc. It can be time consuming to evaluate a voting pr...
169
click to vote
AAAI
2008
15 years 9 months ago
2008
This paper summarizes recent work reported at ICAPS on applying artificial intelligence techniques to the control of production printing equipment. Like many other real-world appl...
173
click to vote
PERCOM
2010
ACM
15 years 8 months 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...
186
click to vote
AMR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This article explores the feasibility of a market-ready, mobile pattern recognition system based on the latest findings in the field of object recognition and currently a...
191
click to vote
BILDMED
2008
15 years 8 months ago
2008
Abstract. Segmentation of the left ventricle (LV) is required to quantify LV remodeling after myocardial infarction. Therefore spatiotemporal Cine MR sequences including longaxis a...