2957 search results - page 210 / 592 » Processing Self Corrections |
ICALP
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...
ICIAR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Facial feature extraction is a fundamental problem in image processing. Correct extraction of features is essential for the success of many applications. Typical feature ...
ISSADS
2005
Springer
14 years 3 months ago
2005
Springer
Workflow is the key technology for business process automation, while distributed workflow is the solution to deal with the decentralized nature of workflow applications and the pe...
VISUAL
2005
Springer
14 years 3 months ago
2005
Springer
The paper describes a modular procedure for automatic correction of redeye artifact in images of unknown origin, maintaining the natural appearance of the eye. First, a smart color...
ISPA
2004
Springer
14 years 3 months ago
2004
Springer
The demand of information services is popular in recent years. However, the requested of correct answer in a mobile environment needs to have more attentions. This is due to the sc...