Sciweavers

11168 search results - page 1667 / 2234
» Abstract State Processes
Sort
View
REFSQ
2007
Springer
15 years 11 months ago
Optimal-Constraint Lexicons for Requirements Specifications
Abstract. Constrained Natural Languages (CNLs) are becoming an increasingly popular way of writing technical documents such as requirements specifications. This is because CNLs aim...
Stephen Boyd, Didar Zowghi, Vincenzo Gervasi
SCALESPACE
2007
Springer
15 years 11 months ago
Uniform and Textured Regions Separation in Natural Images Towards MPM Adaptive Denoising
Abstract. Natural images consist of texture, structure and smooth regions and this makes the task of filtering challenging mainly when it aims at edge and texture preservation. In...
Noura Azzabou, Nikos Paragios, Frederic Guichard
TSD
2007
Springer
15 years 11 months ago
On the Relative Hardness of Clustering Corpora
Abstract. Clustering is often considered the most important unsupervised learning problem and several clustering algorithms have been proposed over the years. Many of these algorit...
David Pinto, Paolo Rosso
TSD
2007
Springer
15 years 11 months ago
The Effect of Lexicon Composition in Pronunciation by Analogy
Abstract. Pronunciation by analogy (PbA) is a data-driven approach to phonetic transcription that generates pronunciations for unknown words by exploiting the phonological knowledg...
Tasanawan Soonklang, Robert I. Damper, Yannick Mar...
WDAG
2007
Springer
132views Algorithms» more  WDAG 2007»
15 years 11 months ago
Detecting Temporal Logic Predicates on Distributed Computations
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
Vinit A. Ogale, Vijay K. Garg
« Prev « First page 1667 / 2234 Last » Next »