Sciweavers

3885 search results - page 682 / 777
» Transformations for Write-All-with-Collision Model
Sort
View
CBMS
2001
IEEE
14 years 22 days ago
Abnormality Detection in Automated Mass Screening System of Diabetic Retinopathy
An approach of abnormality detection from color jiindirs images for automated mass screening system is proposed in this paper, which uses the object-based color difference image. ...
Gang Luo, Opas Chutatape, Huiqi Li, Shankar M. Kri...
WFLP
2000
Springer
124views Algorithms» more  WFLP 2000»
14 years 19 days ago
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
Elvira Albert, Sergio Antoy, Germán Vidal
ISSS
1995
IEEE
87views Hardware» more  ISSS 1995»
14 years 18 days ago
Industrial experience using rule-driven retargetable code generation for multimedia applications
The increasing usage of Application Specific Instruction Set Processors (ASIPs) in audio and video telecommunications has made strong demands on the rapid availability of dedicat...
Clifford Liem, Pierre G. Paulin, Marco Cornero, Ah...
DBPL
1991
Springer
98views Database» more  DBPL 1991»
14 years 18 days ago
Structural Recursion as a Query Language
We propose a programming paradigm that tries to get close to both the semantic simplicity of relational algebra, and the expressive power of unrestricted programming languages. It...
Val Tannen, Peter Buneman, Shamim A. Naqvi
EDBT
2010
ACM
132views Database» more  EDBT 2010»
14 years 11 days ago
Algorithm-safe privacy-preserving data publishing
This paper develops toolsets for eliminating algorithm-based disclosure from existing privacy-preserving data publishing algorithms. We first show that the space of algorithm-base...
Xin Jin, Nan Zhang 0004, Gautam Das