Sciweavers

3898 search results - page 475 / 780
» On the Bit Extraction Problem
Sort
View
163
Voted
DGCI
2000
Springer
15 years 8 months ago
An Efficient Shape-Based Approach to Image Retrieval
We consider the problem of finding the best match for a given query shape among candidate shapes stored in a shape base. This is central to a wide range of applications, such as, d...
Ioannis Fudos, Leonidas Palios
187
Voted
ICMI
2000
Springer
217views Biometrics» more  ICMI 2000»
15 years 8 months ago
Offline Handwritten Chinese Character Recognition Using Optimal Sampling Features
For offline handwritten Chinese character recognition, stroke variation is the most difficult problem to be solved. A new method of optimal sampling features is proposed to compens...
Rui Zhang, Xiaoqing Ding
139
Voted
SPIN
2000
Springer
15 years 8 months ago
Communication Topology Analysis for Concurrent Programs
Abstract. In this article, we address the problem of statically determining an approximation of the communication topology of concurrent programs. These programs may contain dynami...
Matthieu Martel, Marc Gengler
127
Voted
ESOP
2010
Springer
15 years 8 months ago
TRX: A Formally Verified Parser Interpreter
Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser inter...
Adam Koprowski, Henri Binsztok
103
Voted
AAAI
2008
15 years 7 months ago
On the Enactability of Business Protocols
Protocols specifying business interactions among autonomous parties enable reuse and promote interoperability. A protocol is specified from a global viewpoint, but enacted in a di...
Nirmit Desai, Munindar P. Singh