Sciweavers

3238 search results - page 116 / 648
» On the Computational Interpretation of Negation
Sort
View
ISCI
2006
136views more  ISCI 2006»
15 years 6 months ago
Computing with words for text processing: An approach to the text categorization
The use of the computing with words paradigm for the automatic text documents categorization problem is discussed. This specific problem of information retrieval (IR) becomes more...
Slawomir Zadrozny, Janusz Kacprzyk
JAR
2006
106views more  JAR 2006»
15 years 6 months ago
Some Computational Aspects of distance-sat
In many AI fields, the problem of finding out a solution which is as close as possible to a given configuration has to be faced. This paper addresses this problem in a propositiona...
Olivier Bailleux, Pierre Marquis
SYNTHESE
2008
88views more  SYNTHESE 2008»
15 years 6 months ago
Interpolation in computing science: the semantics of modularization
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
Gerard R. Renardel de Lavalette
CORR
1998
Springer
107views Education» more  CORR 1998»
15 years 6 months ago
Computing Declarative Prosodic Morphology
This paper describes a computational, declarative approach to prosodic morphology that uses inviolable constraints to denote small finite candidate sets which are filtered by a re...
Markus Walther
ICIAP
2005
ACM
16 years 6 months ago
Computer Vision for Interactive Skewed Video Projection
We present an uncalibrated projector-camera system in which the information displayed onto a planar screen can be interactively warped according to an arbitrary planar homography. ...
Alessandro Brazzini, Carlo Colombo