384 search results - page 46 / 77 » Representing Sequences in Description Logics |
MFCS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Con...
EKAW
1999
Springer
14 years 1 months ago
1999
Springer
: The aim of this paper is to present an approach and automated tools for designing knowledge bases describing the contents of information sources in PICSEL2 knowledgediators. We a...
ICCV
2005
IEEE
14 years 10 months ago
2005
IEEE
We propose a new technique for fusing multiple cues to robustly segment an object from its background in video sequences that suffer from abrupt changes of both illumination and p...
RIAO
2000
13 years 10 months ago
2000
We propose an original approach for the characterization of video dynamic content with a view to supplying new functionalities for motion-based video indexing and retrieval with q...