Sciweavers

1219 search results - page 163 / 244
» Verification of Equivalent-Results Methods
Sort
View
COLING
2002
13 years 9 months ago
Unknown Word Extraction for Chinese Documents
There is no blank to mark word boundaries in Chinese text. As a result, identifying words is difficult, because of segmentation ambiguities and occurrences of unknown words. Conve...
Keh-Jiann Chen, Wei-Yun Ma
JEI
2002
212views more  JEI 2002»
13 years 9 months ago
Morphology-based license plate detection in images of differently illuminated and oriented cars
This paper presents a morphology-based method for detecting license plates from cluttered images. The proposed system consists of three major components. At the first, a morpholog...
Jun-Wei Hsieh, Shih-Hao Yu, Yung-Sheng Chen
PVLDB
2010
135views more  PVLDB 2010»
13 years 4 months ago
Efficient Skyline Evaluation over Partially Ordered Domains
Although there has been a considerable body of work on skyline evaluation in multidimensional data with totally ordered attribute domains, there are only a few methods that consid...
Shiming Zhang, Nikos Mamoulis, Ben Kao, David Wai-...
ITICSE
2003
ACM
14 years 3 months ago
Studying program correctness by constructing contracts
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D...
AES
2008
Springer
97views Cryptology» more  AES 2008»
13 years 9 months ago
Software mechanisms for extensible and scalable 3D visualization of construction operations
This paper presents research that led to the design and implementation of an extensible and scalable software framework for the dynamic 3D visualization of simulated construction ...
Vineet R. Kamat, Julio C. Martínez