Sciweavers

3104 search results - page 221 / 621
» Using quantitative analysis to implement autonomic IT system...
Sort
View
TOPLAS
2008
78views more  TOPLAS 2008»
15 years 6 months ago
The pitfalls of verifying floating-point computations
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
David Monniaux
CIVR
2009
Springer
169views Image Analysis» more  CIVR 2009»
16 years 1 months ago
Exploiting contextual data for event retrieval in surveillance video
Contextual information is vital for the robust extraction of semantic information in automated surveillance systems. We have developed a scene independent framework for the detect...
Philip Kelly, Ciarán O. Conaire, Noel E. O'...
TMI
2010
101views more  TMI 2010»
15 years 4 months ago
Intestinal Motility Assessment With Video Capsule Endoscopy: Automatic Annotation of Phasic Intestinal Contractions
— Intestinal motility assessment with video capsule endoscopy arises as a novel and challenging clinical fieldwork. This technique is based on the analysis of the patterns of in...
Fernando Vilariño, Panagiota Spyridonos, Fo...
CSCW
2010
ACM
16 years 3 months ago
Is it really about me?: message content in social awareness streams
In this work we examine the characteristics of social activity and patterns of communication on Twitter, a prominent example of the emerging class of communication systems we call...
Mor Naaman, Jeffrey Boase, Chih-Hui Lai
ICASSP
2011
IEEE
14 years 10 months ago
Modeling musical attributes to characterize ensemble recordings using rhythmic audio features
In this paper, we present the results of a pre-study on music performance analysis of ensemble music. Our aim is to implement a music classification system for the description of...
Jakob Abesser, Olivier Lartillot, Christian Dittma...