3238 search results - page 90 / 648 » On the Computational Interpretation of Negation |
ICDS
2009
IEEE
14 years 4 months ago
2009
IEEE
—In this paper, a new binarization algorithm for degraded document images is proposed. The method is based on positive and negative pixel energies using the Laplacian of an image...
CCCG
2007
13 years 11 months ago
2007
Given a triangulation of n points, with some triangles marked “good”, this paper discusses the problems of computing the largest-area connected set of good triangles that (i) ...
IJCAI
2007
13 years 11 months ago
2007
Buyers and sellers in online auctions are faced with the task of deciding who to entrust their business to based on a very limited amount of information. Current trust ratings on ...
TLCA
2005
Springer
14 years 3 months ago
2005
Springer
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...
ECOOPW
2001
Springer
14 years 2 months ago
2001
Springer
Many object-oriented information systems share an architectural style that emphasizes flexibility and dynamically configurable. Business rules are stored in a database instead of ...