Sciweavers

2525 search results - page 106 / 505
» A Framework for Semantic Gossiping
Sort
View
PAMI
2012
13 years 8 months ago
Holistic Context Models for Visual Recognition
— A novel framework to context modeling, based on the probability of co-occurrence of objects and scenes is proposed. The modeling is quite simple, and builds upon the availabili...
Nikhil Rasiwasia, Nuno Vasconcelos
WOWMOM
2006
ACM
128views Multimedia» more  WOWMOM 2006»
16 years 9 days ago
Enabling Engineering Document in Mobile Computing Environment
A multi-level hierarchical content organization and on-demand delivery framework is presented in this paper. This framework enables engineering content representation and exchange...
Xiaoyong Su, Chi-Cheng Peter Chu, B. S. Prabhu, Ra...
PLPV
2011
ACM
14 years 9 months ago
Local actions for a curry-style operational semantics
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
Gordon Stewart, Andrew W. Appel
ACL
2001
15 years 7 months ago
An Algebra for Semantic Construction in Constraint-based Grammars
We develop a framework for formalizing semantic construction within grammars expressed in typed feature structure logics, including HPSG. The approach provides an alternative to t...
Ann A. Copestake, Alex Lascarides, Dan Flickinger
IJIS
2002
79views more  IJIS 2002»
15 years 6 months ago
Formal semantics of meta-level architectures: Dynamic control of reasoning
Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature many applications in reasoning systems modelling complex tasks are descri...
Jan Treur