Sciweavers

3457 search results - page 411 / 692
» A Symbol Is Not a Symbol
Sort
View
DATE
2003
IEEE
75views Hardware» more  DATE 2003»
16 years 3 days ago
Self-Testing Embedded Checkers for Bose-Lin, Bose, and a Class of Borden Codes
—A new approach for designing t-UED and BUED code checkers is presented. In particular we consider Borden codes for t = 2k − 1, Bose and Bose-Lin codes. The design technique fo...
Steffen Tarnick
206
Voted
DEXAW
2003
IEEE
113views Database» more  DEXAW 2003»
16 years 3 days ago
Integrating Ontology Languages and Answer Set Programming
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...
Stijn Heymans, Dirk Vermeir
FDL
2003
IEEE
16 years 3 days ago
Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing
Reconfigurable Systolic Arrays are a generalization of Systolic Arrays where node operations and interconnections can be redefined even at run time. This flexibility increases the...
Mauricio Ayala-Rincón, Ricardo P. Jacobi, C...
ICDAR
2003
IEEE
16 years 3 days ago
Towards a Ptolemaic Model for OCR
In style-constrained classification often there are only a few samples of each style and class, and the correspondences between styles in the training set and the test set are un...
Sriharsha Veeramachaneni, George Nagy
175
Voted
ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
16 years 3 days ago
Formal verification of LTL formulas for SystemC designs
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
Daniel Große, Rolf Drechsler