Sciweavers

14709 search results - page 16 / 2942
» Semantic feature modelling
Sort
View
TLDI
2009
ACM
169views Formal Methods» more  TLDI 2009»
15 years 6 months ago
Relational parametricity for references and recursive types
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
Lars Birkedal, Kristian Støvring, Jacob Tha...
ENTCS
2008
84views more  ENTCS 2008»
14 years 10 months ago
Comparing Three Coordination Models: Reo, ARC, and RRD
Three models of coordination--Reo, Actors-Roles-Coordinators (ARC), and Reflective Russian Dolls (RRD)--are compared and contrasted according to a set of coordination features. Ma...
Carolyn L. Talcott, Marjan Sirjani, Shangping Ren
EMNLP
2009
14 years 7 months ago
Supervised Learning of a Probabilistic Lexicon of Verb Semantic Classes
The work presented in this paper explores a supervised method for learning a probabilistic model of a lexicon of VerbNet classes. We intend for the probabilistic model to provide ...
Yusuke Miyao, Jun-ichi Tsujii
CIVR
2006
Springer
126views Image Analysis» more  CIVR 2006»
15 years 1 months ago
Semantics Supervised Cluster-Based Index for Video Databases
High-dimensional index is one of the most challenging tasks for content-based video retrieval (CBVR). Typically, in video database, there exist two kinds of clues for query: visual...
Zhiping Shi, Qingyong Li, Zhiwei Shi, Zhongzhi Shi
CVPR
2011
IEEE
14 years 6 months ago
Sharing Features Between Objects and Their Attributes
Visual attributes expose human-defined semantics to object recognition models, but existing work largely restricts their influence to mid-level cues during classifier training....
Sung Ju Hwang, Fei Sha, Kristen Grauman