Sciweavers

933 search results - page 103 / 187
» Fully automatic cross-associations
Sort
View
SODA
2003
ACM
142views Algorithms» more  SODA 2003»
15 years 7 months ago
The similarity metric
—A new class of distances appropriate for measuring similarity relations between sequences, say one type of similarity per distance, is studied. We propose a new “normalized in...
Ming Li, Xin Chen, Xin Li, Bin Ma, Paul M. B. Vit&...
APLAS
2010
ACM
15 years 6 months ago
Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
Jan Hoffmann 0002, Martin Hofmann
ICASSP
2010
IEEE
15 years 6 months ago
An adaptive real-time descreening method based on SVM and improved SUSAN filter
Scanned halftone images are degraded for the presence of screen patterns. It’s a challenge to automatically detect the halftone images and remove the noises on the fly. This pap...
Xiaohua Duan, Guifeng Zheng, Hongyang Chao
IJAIT
2006
136views more  IJAIT 2006»
15 years 6 months ago
Model Checking for Multiagent Systems: the Mable Language and its Applications
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
Michael Wooldridge, Marc-Philippe Huget, Michael F...
IVC
2006
115views more  IVC 2006»
15 years 6 months ago
A motion-based scene tree for compressed video content management
This paper describes a fully automatic content-based approach for browsing and retrieval of MPEG-2 compressed video. The first step of the approach is the detection of shot bounda...
Haoran Yi, Deepu Rajan, Liang-Tien Chia