Sciweavers

2351 search results - page 195 / 471
» A Method of Requirement Inconsistency Analysis
Sort
View
ICDAR
2007
IEEE
15 years 11 months ago
Skeletonization by Gradient Regularization and Diffusion
This paper describes a skeletonization process for grayscale or color images based on the diffusion of the color gradient vectors by using a simple iterative regularization scheme...
Frank Lebourgeois, Hubert Emptoz
ICPADS
2006
IEEE
15 years 10 months ago
Flexible, Low-overhead Event Logging to Support Resource Scheduling
Flexible resource management and scheduling policies require detailed system-state information. Traditional, monolithic operating systems with a centralized kernel derive the requ...
Jan Stoess, Volkmar Uhlig
ICDAR
2005
IEEE
15 years 10 months ago
Recognition for Large Sets of Handwritten Mathematical Symbols
Natural and convenient mathematical handwriting recognition requires recognizers for large sets of handwritten symbols. This paper presents a recognition system for such handwritt...
Stephen M. Watt, Xiaofang Xie
HT
2007
ACM
15 years 8 months ago
An agile hypertext design methodology
Customers are driving down lead times for software, especially for Web applications, to only a few months. While a number of hypertext design models exist, they do not address the...
Gary B. Wills, Noura Abbas, Rakhi Chandrasekharan,...
IJCAI
2007
15 years 6 months ago
A Factor Graph Model for Software Bug Finding
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...
Ted Kremenek, Andrew Y. Ng, Dawson R. Engler