Sciweavers

2631 search results - page 24 / 527
» Less is More
Sort
View
FSS
2006
86views more  FSS 2006»
13 years 7 months ago
Truth-depressing hedges and BL-logic
Abstract. We show a complete axiomatization of unary connectives interpreted by monotone and superdiagonal truth functions, so-called truth-depressing hedges. These connectives for...
Vilém Vychodil
ICANNGA
2009
Springer
130views Algorithms» more  ICANNGA 2009»
14 years 2 months ago
String Distances and Uniformities
Abstract. The Levenstein or edit distance was developed as a metric for calculating distances between character strings. We are looking at weighting the different edit operations (...
David W. Pearson, Jean-Christophe Janodet
JSS
2006
62views more  JSS 2006»
13 years 7 months ago
Designing state-based systems with entity-life modeling
This article introduces the entity-life modeling (ELM) design approach for multithread software. The article focuses on problems that can be described by state machines with assoc...
Bo Sandén, Janusz Zalewski
MVA
1990
129views Computer Vision» more  MVA 1990»
13 years 8 months ago
An Interactive Colour Line Recognition System for Seismic Section Digitisation
In this paper, we describe a commercial vision system for the digitisation and extraction of horizons drawn with coloured pencils on seismic sections. The system combines image pr...
Jonathan Shapiro, Jin Zhengping
LREC
2010
148views Education» more  LREC 2010»
13 years 9 months ago
An Annotation Scheme and Gold Standard for Dutch-English Word Alignment
The importance of sentence-aligned parallel corpora has been widely acknowledged. Reference corpora in which sub-sentential translational correspondences are indicated manually ar...
Lieve Macken