304 search results - page 32 / 61 » Analysis of the paraconsistency in some logics |
ICDAR
2009
IEEE
13 years 5 months ago
2009
IEEE
The paper describes a new approach using a Conditional Random Fields (CRFs) to extract physical and logical layouts in unconstrained handwritten letters such as those sent by indi...
ISMVL
2010
IEEE
14 years 19 days ago
2010
IEEE
— In this paper we review the Billiard Ball Model (BBM) introduced by Toffoli and Fredkin. The analysis of a previous approach to design reversible networks based on BBM it shown...
AADEBUG
2000
Springer
13 years 12 months ago
2000
Springer
This work is devoted to constraint solving motivated by the debugging of constraint logic programs a la GNU-Prolog. The paper focuses only on the constraints. In this framework, c...
DATE
1998
IEEE
13 years 11 months ago
1998
IEEE
1 Redundancy removal is an important step in combinational logic optimization. After a redundant wire is removed, other originally redundant wires may become irredundant, and some ...
ASWC
2006
Springer
13 years 11 months ago
2006
Springer
With the growing interest in modular ontology languages to address the need for collaborative development, integration, and use of ontologies on the Web, there is an urgent need fo...