466 search results - page 91 / 94 » Temporal Knowledge Acquisition and Modeling |
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
DEXA
2005
Springer
14 years 28 days ago
2005
Springer
In contrast to alpha-numerical data, multimedia data can have a wide range of quality parameters such as spatial and temporal resolution, and compression format. Users can request ...
TCSV
2008
13 years 7 months ago
2008
Wedding is one of the most important ceremonies in our lives. It symbolizes the birth and creation of a new family. In this paper, we present a system for automatically segmenting ...
CG
2004
Springer
13 years 7 months ago
2004
Springer
When interacting with natural or urban environments there are many situations where the ability to access data in real time becomes relevant. Augmented Reality (AR) technologies a...
ECCV
2004
Springer
14 years 9 months ago
2004
Springer
In this paper we present an approach for separating two transparent layers in images and video sequences. Given two initial unknown physical mixtures, I1 and I2, of real scene laye...