Sciweavers

242 search results - page 26 / 49
» Retrieval of Complex Objects Using a Four-Valued Logic
Sort
View
IPPS
1998
IEEE
13 years 11 months ago
Modeling and Validation Support for Interactive Networked Multimedia Applications
This work presents MUSE, a graphical environment for modeling interactive networked multimedia applications. Through an advanced graphic interface and a new highlevel authoring mod...
Luciano Paschoal Gaspary, Maria Janilce B. Almeida
CVPR
2007
IEEE
14 years 9 months ago
Matching Local Self-Similarities across Images and Videos
We present an approach for measuring similarity between visual entities (images or videos) based on matching internal self-similarities. What is correlated across images (or acros...
Eli Shechtman, Michal Irani
KR
2000
Springer
13 years 11 months ago
Reasoning with Axioms: Theory and Practice
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
Ian Horrocks, Stephan Tobies
AIML
2008
13 years 9 months ago
Labelled modal tableaux
Labelled tableaux are extensions of semantic tableaux with annotations (labels, indices) whose main function is to enrich the modal object language with semantic elements. This pap...
Guido Governatori
CVDB
2004
ACM
14 years 1 months ago
A Multimedia Data Base Browsing System
Browsing large multimedia databases is becoming a challenging problem, due to the availability of great amounts of data and the complexity of retrieval. In this paper we propose a...
Massimiliano Albanese, Carmine Cesarano, Antonio P...