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 4 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»
15 years 11 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 2 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...
134
Voted
CSCW
2010
ACM
16 years 1 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 8 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...