2586 search results - page 453 / 518 » Automatic Abstraction for Congruences |
150
click to vote
SUTC
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— Sensor networks are being increasingly deployed for collecting critical data in various applications. Once deployed, a sensor network may experience faults at the indiv...
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
104
click to vote
MSR
2006
ACM
15 years 5 months ago
2006
ACM
When analyzing the evolution history of a software project, we wish to develop results that generalize across projects. One approach is to analyze design patterns, permitting char...
107
click to vote
MM
2005
ACM
15 years 5 months ago
2005
ACM
We investigate methods of segmenting, visualizing, and indexing presentation videos by both audio and visual data. The audio track is segmented by speaker, and augmented with key ...
106
click to vote
SIGIR
2005
ACM
15 years 5 months ago
2005
ACM
This paper describes an application of IR and text categorization methods to a highly practical problem in biomedicine, specifically, Gene Ontology (GO) annotation. GO annotation...