Sciweavers

3921 search results - page 690 / 785
» Transforming Models with ATL
Sort
View
ECCV
2006
Springer
14 years 22 days ago
Using a Connected Filter for Structure Estimation in Perspective Systems
Three-dimensional structure information can be estimated from two-dimensional images using recursive estimation methods. This paper investigates possibilities to improve structure...
Fredrik Nyberg, Ola Dahl, Jan Holst, Anders Heyden
EUROPAR
2006
Springer
14 years 22 days ago
A Practical Single-Register Wait-Free Mutual Exclusion Algorithm on Asynchronous Networks
This paper is motivated by a need of practical asynchronous network systems, i.e., a wait-free distributed mutual exclusion algorithm (WDME). The WDME algorithm is very appealing w...
Hyungsoo Jung, Heon Young Yeom
3DIM
2003
IEEE
14 years 22 days ago
Efficient Reconstruction of Indoor Scenes with Color
In this paper we present an efficient and general approach to computing and integrating 3D distance fields directly from multiple range images. We compute normal and confidence va...
Rui Wang 0003, David P. Luebke
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