466 search results - page 91 / 94 » Temporal Knowledge Acquisition and Modeling |
120
click to vote
KBSE
2005
IEEE
15 years 6 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...
116
Voted
DEXA
2005
Springer
15 years 5 months 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 ...
125
Voted
TCSV
2008
15 years 10 days 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 ...
108
Voted
CG
2004
Springer
15 years 8 days 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...
105
Voted
ECCV
2004
Springer
16 years 2 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...