Sciweavers

8486 search results - page 421 / 1698
» Ordered Enumeration Method
Sort
View
WCRE
1995
IEEE
15 years 11 months ago
Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
Gerald C. Gannod, Betty H. C. Cheng
CCIA
2005
Springer
15 years 9 months ago
Multispectral Image Segmentation for Fruit Quality Estimation
An unsupervised segmentation algorithm based on a multiresolution method is presented. This method uses variational functions as a segmentation criterion. The algorithm has been ap...
Adolfo Martínez Usó, Filiberto Pla, ...
FMCAD
2008
Springer
15 years 9 months ago
A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...
Orna Kupferman, Wenchao Li, Sanjit A. Seshia
EACL
2006
ACL Anthology
15 years 9 months ago
Recognizing Textual Parallelisms with Edit Distance and Similarity Degree
Detection of discourse structure is crucial in many text-based applications. This paper presents an original framework for describing textual parallelism which allows us to genera...
Marie Guégan, Nicolas Hernandez
EACL
2006
ACL Anthology
15 years 9 months ago
Latent Variable Models for Semantic Orientations of Phrases
We propose models for semantic orientations of phrases as well as classification methods based on the models. Although each phrase consists of multiple words, the semantic orienta...
Hiroya Takamura, Takashi Inui, Manabu Okumura