1562 search results - page 82 / 313 » Convenience Over Correctness |
151
click to vote
ICALP
2005
Springer
15 years 10 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 ...
118
click to vote
INTETAIN
2005
Springer
15 years 10 months ago
2005
Springer
Webcrow is a software system whose aim is to solve crosswords. Problems of like solving crosswords have been informally defined as AI-Complete and are extremely challenging for ma...
147
click to vote
VISUAL
2005
Springer
15 years 10 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...
151
click to vote
CIRA
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper proposes a technique for real-time recognition of facial Identity and expression which uses the active appearance model (AAM) with efficient second order minimization al...
159
click to vote
DEXAW
2007
IEEE
15 years 9 months ago
2007
IEEE
We built a system for the automatic creation of a textbased topic hierarchy, meant to be used in a geographically defined community. This poses two main problems. First, the appea...