593 search results - page 39 / 119 » Semantics-Preserving Procedure Extraction |
109
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
— To overcome issues originating from the CMOS technology, a large-scale reconfigurable data-path (LSRDP) processor based on single-flux quantum circuits is introduced. LSRDP is ...
100
click to vote
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—We define here a simple, low level control procedure definition, to support application implementation on a particular multiprocessor platform, namely the SegBus segme...
157
click to vote
TABLEAUX
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-f...
114
click to vote
IRAL
2000
ACM
15 years 7 months ago
2000
ACM
We propose a method to create process flow graphs automatically from textbooks for cooking programs. This is realized by understanding context by narrowing down the domain to cook...
123
click to vote
SIBGRAPI
1999
IEEE
15 years 7 months ago
1999
IEEE
This work proposes the use of an adaptive neighborhood procedure to extract local statistical properties of images in order to improve a speckle noise "Maximum a Posteriori &q...