Sciweavers

953 search results - page 130 / 191
» On the Pagination of Complex Documents
Sort
View
ICPR
2000
IEEE
14 years 2 months ago
Structure Extraction from Various Kinds of Decorated Characters Using Multi-Scale Images
Decorated characters are widely used in various documents. Practical optical character reader is required to deal with not only common fonts but also complex designed fonts. Howev...
Shinichiro Omachi, Masaki Inoue, Hirotomo Aso
CHI
1997
ACM
14 years 2 months ago
"I'll Get That Off the Audio": A Case Study of Salvaging Multimedia Meeting Records
We describe a case study of a complex, ongoing, collaborative work process, where the central activity is a series of meetings reviewing a wide range of subtle technical topics. T...
Thomas P. Moran, Leysia Palen, Steve R. Harrison, ...
ASPLOS
1996
ACM
14 years 2 months ago
The Structure and Performance of Interpreters
Interpreted languages have become increasingly popular due to demands for rapid program development, ease of use, portability, and safety. Beyond the general impression that they ...
Theodore H. Romer, Dennis Lee, Geoffrey M. Voelker...
ATAL
2006
Springer
14 years 1 months ago
Automated analysis and verification of agent behavior
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
Tibor Bosse, Dung N. Lam, K. Suzanne Barber
FM
2006
Springer
161views Formal Methods» more  FM 2006»
14 years 1 months ago
Changing Programs Correctly: Refactoring with Specifications
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...
Fabian Bannwart, Peter Müller