Sciweavers

633 search results - page 76 / 127
» A Semantic Basis for Quest
Sort
View
ICIAP
1999
ACM
14 years 1 months ago
Facial Expression Morphing and Animation with Local Warping Methods
In this paper, we applied local warping techniques to construct a frame work of image-based morphing for facial expressions animation with low complexity. From the experience we o...
Daw-Tung Lin, Han Huang
POS
1998
Springer
14 years 1 months ago
Java Finalize Method, Orthogonal Persistence and Transactions
Java is a popular, object oriented language that is runtime type safe. As such, it has been seen as an attractive basis for the implementation of orthogonally persistent systems b...
John N. Zigman, Stephen Blackburn
SCCC
1997
IEEE
14 years 1 months ago
Reliable Processing on the Seljuk-Amoeba Operating Environment
Processing on the Amoeba distributed operating system is not fault-tolerant. The only concern of its processing service is to perform load balancing on the existing processors, tr...
Érica de Lima Gallindo, Francisco Vilar Bra...
POPL
1994
ACM
14 years 1 months ago
A Needed Narrowing Strategy
Abstract: The narrowing relation over terms constitutes the basis of the most important operational semantics of languages that integrate functional and logic programming paradigms...
Sergio Antoy, Rachid Echahed, Michael Hanus
PODS
1990
ACM
148views Database» more  PODS 1990»
14 years 1 months ago
Stable Models and Non-Determinism in Logic Programs with Negation
Previous researchers have proposed generalizations of Horn clause logic to support negation and nondeterminism as two separate extensions. In this paper, we show that the stable m...
Domenico Saccà, Carlo Zaniolo