Sciweavers

6719 search results - page 363 / 1344
» A Generalization of Automatic Sequences
Sort
View
ICPR
2010
IEEE
15 years 2 months ago
Information Theory Based WCE Video Summarization
Wireless Capsule Endoscopy (WCE) is a technical break-through that allows to produce a video of the entire intestine without surgery. It is reported that a medical clinician spend...
Giovanni Gallo, Eliana Granata, Alessandro Torrisi
FM
2009
Springer
146views Formal Methods» more  FM 2009»
15 years 2 months ago
Verifying Real-Time Systems against Scenario-Based Requirements
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, S...
BCB
2010
125views Bioinformatics» more  BCB 2010»
14 years 11 months ago
Protein structure alignment using elastic shape analysis
In this paper we present a method for flexible protein structure alignment based on elastic shape analysis of backbones, in a manner that can incorporate different characteristics...
Wei Liu, Anuj Srivastava, Jinfeng Zhang
ICASSP
2011
IEEE
14 years 8 months ago
Rapid phonetic transcription using everyday life natural Chat Alphabet orthography for dialectal Arabic speech recognition
We propose the Arabic Chat Alphabet (ACA) as naturally written in everyday life for dialectal Arabic speech transcription. Our assumption is that ACA is a natural language that in...
Mohamed Elmahdy, Rainer Gruhn, Slim Abdennadher, W...
CVPR
2012
IEEE
13 years 6 months ago
Locally Orderless Tracking
Locally Orderless Tracking (LOT) is a visual tracking algorithm that automatically estimates the amount of local (dis)order in the object. This lets the tracker specialize in both...
Shaul Oron, Aharon Bar-Hillel, Dan Levi, Shai Avid...