8228 search results - page 114 / 1646 » Structural Logical Relations |
114
click to vote
DAS
2006
Springer
15 years 6 months ago
2006
Springer
This paper describes a Neural Network (NN) approach for logical document structure extraction. In this NN architecture, called Transparent Neural Network (TNN), the document struct...
105
click to vote
ISVLSI
2008
IEEE
15 years 9 months ago
2008
IEEE
A structured ASIC has some arrays of pre-fabricated yet configurable logic blocks (CLBs) with/without a regular routing fabric. In this paper, we propose a standard cell like via-...
133
Voted
CSL
2010
Springer
15 years 3 months ago
2010
Springer
We present a new algorithm for model-checking weak monadic second-order logic on inductive structures, a class of structures of bounded clique width. Our algorithm directly manipul...
154
Voted
BMCBI
2004
15 years 2 months ago
2004
Background: The protein structure prediction problem is one of the most challenging problems in biological sciences. Many approaches have been proposed using database information ...
116
click to vote
MKM
2004
Springer
15 years 7 months ago
2004
Springer
We propose a mathematical knowledge browser which helps people to read mathematical documents. By the browser printed mathematical documents can be scanned and recognized by OCR (O...