Sciweavers

14709 search results - page 16 / 2942
» Semantic feature modelling
Sort
View
TLDI
2009
ACM
169views Formal Methods» more  TLDI 2009»
14 years 4 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»
13 years 8 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
13 years 5 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»
13 years 11 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
13 years 4 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