Sciweavers

41 search results - page 4 / 9
» A modal foundation for meta-variables
Sort
View
CSCW
2011
ACM
14 years 6 months 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
14 years 11 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
14 years 10 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...
88
Voted
SDM
2007
SIAM
121views Data Mining» more  SDM 2007»
15 years 1 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»
14 years 11 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