Sciweavers

3951 search results - page 77 / 791
» Automatic amortized analysis
Sort
View
KBSE
2005
IEEE
15 years 9 months ago
Timna: a framework for automatically combining aspect mining analyses
To realize the benefits of Aspect Oriented Programming (AOP), developers must refactor active and legacy code bases into an AOP language. When refactoring, developers first need...
David Shepherd, Jeffrey Palm, Lori L. Pollock, Mar...
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
15 years 9 months ago
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
ICDAR
2003
IEEE
15 years 9 months ago
Towards Automatic Video-based Whiteboard Reading
As whiteboards have become a popular tool in meeting rooms, there has been a growing interest in making use of the whiteboard as a user interface for human computer interaction. T...
Markus Wienecke, Gernot A. Fink, Gerhard Sagerer
DOCENG
2009
ACM
15 years 8 months ago
Review of automatic document formatting
We review the literature on automatic document formatting with an emphasis on recent work in the field. One common way to frame document formatting is as a constrained optimizatio...
Nathan Hurst, Wilmot Li, Kim Marriott
MAMMO
2010
Springer
15 years 6 months ago
A Boosting Based Approach for Automatic Micro-calcification Detection
Abstract. In this paper we present a boosting based approach for automatic detection of micro-calcifications in mammographic images. Our proposal is based on using local features e...
Arnau Oliver, Albert Torrent, Meritxell Tortajada,...