Sciweavers

4581 search results - page 698 / 917
» Computing Transformation Semigroups
Sort
View
EUC
2006
Springer
15 years 10 months ago
A Novel Approach for Sharing White Board Between PC and PDAs with Multi-users
White board sharing between PC and PDAs is a typical interactive application between PC and mobile device in ubiquitous environment. Due to the limited size of PDA' s screen, ...
Xin Xiao, Yuanchun Shi, Weisheng He
EUROPAR
2006
Springer
15 years 10 months 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
ICPR
2000
IEEE
15 years 10 months ago
Eigenfiltering for Flexible Eigentracking (EFE)
Traditional techniques for tracking non-rigid objects such as optical flow, correlation, active contours or color, can not deal with situations where image changes are not due to ...
Fernando De la Torre, Javier Melenchón, Jor...
LCPC
2000
Springer
15 years 10 months ago
Recursion Unrolling for Divide and Conquer Programs
This paper presents recursion unrolling, a technique for improving the performance of recursive computations. Conceptually, recursion unrolling inlines recursive calls to reduce c...
Radu Rugina, Martin C. Rinard
WFLP
2000
Springer
124views Algorithms» more  WFLP 2000»
15 years 10 months 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