Sciweavers

41 search results - page 4 / 9
» A modal foundation for meta-variables
Sort
View
CSCW
2011
ACM
13 years 22 days ago
CoupleVIBE: mobile implicit communication to improve awareness for (long-distance) couples
Long-distance couples face considerable communication challenges in their relationships. Unlike collocated couples, long-distance couples lack awareness cues associated with physi...
Elizabeth Bales, Kevin A. Li, William Griwsold
KI
2008
Springer
13 years 5 months ago
Shallow Models for Non-iterative Modal Logics
Abstract. Modal logics see a wide variety of applications in artificial intelligence, e.g. in reasoning about knowledge, belief, uncertainty, agency, defaults, and relevance. From ...
Lutz Schröder, Dirk Pattinson
RR
2010
Springer
13 years 4 months ago
A Probabilistic Abduction Engine for Media Interpretation Based on Ontologies
For multimedia interpretation, and in particular for the combined interpretation of information coming from different modalities, a semantically well-founded formalization is requ...
Oliver Gries, Ralf Möller, Anahita Nafissi, M...
SDM
2007
SIAM
121views Data Mining» more  SDM 2007»
13 years 7 months ago
Mining Visual and Textual Data for Constructing a Multi-Modal Thesaurus
We propose an unsupervised approach to learn associations between continuous-valued attributes from different modalities. These associations are used to construct a multi-modal t...
Hichem Frigui, Joshua Caudill
ENTCS
2007
102views more  ENTCS 2007»
13 years 5 months ago
Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
Brigitte Pientka