2253 search results - page 250 / 451 » The ComFoRT Reasoning Framework |
77
Voted
CADE
2001
Springer
15 years 11 months ago
2001
Springer
We propose the notion of rewriting modules in order to provide a structural and hierarchical approach of TRS. We define then relative dependency pairs built upon these modules whic...
99
Voted
TIME
2007
IEEE
15 years 5 months ago
2007
IEEE
Transaction-time temporal databases and query languages provide a solid framework for analyzing properties of queries over data streams. In this paper we focus on issues connected...
SAMT
2007
Springer
15 years 5 months ago
2007
Springer
In this work, we propose a system for shot comparison directly working on the MPEG-1 stream in the compressed domain, extracting both color, texture and motion features considering...
IVA
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. This paper details a framework for explicit deliberative control of socially and physically situated agents in virtual, real and mixed reality environments. The objective...
82
Voted
KR
2004
Springer
15 years 4 months ago
2004
Springer
Modeling complex compositional objects in the field of the life sciences requires to solve intricate ontological problems, especially those related to parts of a whole, space and...