Sciweavers

147 search results - page 4 / 30
» A magic approach to optimizing incremental relational expres...
Sort
View
ACL
2004
13 years 9 months ago
Generating Referring Expressions in Open Domains
We present an algorithm for generating referring expressions in open domains. Existing algorithms work at the semantic level and assume the availability of a classification for at...
Advaith Siddharthan, Ann A. Copestake
CADE
2007
Springer
14 years 7 months ago
An Incremental Technique for Automata-Based Decision Procedures
Abstract. Automata-based decision procedures commonly achieve optimal complexity bounds. However, in practice, they are often outperformed by sub-optimal (but more local-search bas...
David Toman, Gulay Ünel
EDBTW
2006
Springer
13 years 9 months ago
Efficient Integrity Checking over XML Documents
The need for incremental constraint maintenance within collections of semi-structured documents has been ever increasing in the last years due to the widespread diffusion of XML. T...
Daniele Braga, Alessandro Campi, Davide Martinengh...
FM
1994
Springer
104views Formal Methods» more  FM 1994»
13 years 11 months ago
OPUS: a Formal Approach to Object-Orientation
OPUS is an elementary calculus that models object-orientation. It expresses in a direct way the crucial features of object-oriented programming such as objects, encapsulation, mess...
Tom Mens, Kim Mens, Patrick Steyaert
AVSS
2008
IEEE
13 years 9 months ago
Super-Resolution of Facial Images in Video with Expression Changes
Super-resolution (SR) of facial images from video suffers from facial expression changes. Most of the existing SR algorithms for facial images make an unrealistic assumption that ...
Jiangang Yu, Bir Bhanu