Sciweavers

2911 search results - page 17 / 583
» A Theory of Expressiveness in Mechanisms
Sort
View
DEXA
1997
Springer
137views Database» more  DEXA 1997»
15 years 1 months ago
A Retrieval Mechanism for Semi-Structured Photographic Collections
Abstract. In this paper, a new approach for retrieval from semistructured photographic collections is described. We have developed a retrieval model based on the Dempster-Shafer th...
Joemon M. Jose, David J. Harper
VLDB
1991
ACM
179views Database» more  VLDB 1991»
15 years 1 months ago
A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language
Object-oriented data models are receiving wide attention since they provide expressive ionmechanismsto model naturally and directly both structural and behavioral aspectsof comple...
Antonio Albano, Giorgio Ghelli, Renzo Orsini
ICMCS
2007
IEEE
142views Multimedia» more  ICMCS 2007»
15 years 1 months ago
Realistic Facial Animation Synthesis and Transfer Based on Flexible Expression Ratio Image
Geometry-controlled image warping performs well in exhibiting shape variations but bad in exhibiting wrinkle such as fossette. Successfully applied in expression cloning, Expressi...
Pith Xie, Yiqiang Chen, Junfa Liu
CORR
2010
Springer
140views Education» more  CORR 2010»
14 years 9 months ago
Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...
William Lovas, Frank Pfenning
IPPS
2007
IEEE
15 years 4 months ago
A Strategyproof Mechanism for Scheduling Divisible Loads in Linear Networks
In this paper we augment DLT (Divisible Load Theory) with incentives such that it is beneficial for processors to report their true processing capacity and compute their assignme...
Thomas E. Carroll, Daniel Grosu