Sciweavers

3061 search results - page 252 / 613
» integration 2006
Sort
View
JUCS
2002
79views more  JUCS 2002»
15 years 6 months ago
Some Notes on Fine Computability
: A metric defined by Fine induces a topology on the unit interval which is strictly stronger than the ordinary Euclidean topology and which has some interesting applications in Wa...
Vasco Brattka
LOGCOM
1998
122views more  LOGCOM 1998»
15 years 6 months ago
Adding the Everywhere Operator to Propositional Logic
Sound and complete modal propositional logic C is presented, in which 2P has the interpretation “ P is true in all states”. The interpretation is already known as the Carnapia...
David Gries, Fred B. Schneider
PAMI
1998
92views more  PAMI 1998»
15 years 6 months ago
INFORMys: A Flexible Invoice-Like Form-Reader System
—In this paper, we describe a flexible form-reader system capable of extracting textual information from accounting documents, like invoices and bills of service companies. In th...
Francesca Cesarini, Marco Gori, Simone Marinai, Gi...
PR
2002
121views more  PR 2002»
15 years 6 months ago
Statistical correlation analysis in image retrieval
A statistical correlation model for image retrieval is proposed. This model captures the semantic relationships among images in a database from simple statistics of userprovided r...
Mingjing Li, Zheng Chen, HongJiang Zhang
PR
2002
140views more  PR 2002»
15 years 6 months ago
Negotiating the semantic gap: from feature maps to semantic landscapes
In this paper, we present the results of a project that seeks to transform low-level features to a higher level of meaning. This project concerns a technique, latent semantic inde...
Rong Zhao, William I. Grosky