1863 search results - page 222 / 373 » Unifying Theories of Objects |
DLOG
1997
13 years 10 months ago
1997
Abstract: This paper presents a theoretical basis for terminological reasoning about objects and their qualitative spatial relationships. In contrast to existing work, which mainly...
ROOM
2000
13 years 10 months ago
2000
In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a structured temporal logic, enables precise analysis of...
ICEC
1994
13 years 10 months ago
1994
: In this paper we propose an approach for discrete event systems control optimization, based on the theory developed by Ramadge and Wonham and on the Limited Lookahead Policy stra...
SPDECE
2007
13 years 10 months ago
2007
This paper addresses the representation of the main elements of instructional models using formal ontology languages. Following existing conceptualizations, models, methods and con...
AMC
2007
13 years 9 months ago
2007
We study the formulation of the problem to retrieve wind fields from radar data. The considerations here view the radar locations as fixed with retrieved wind fields as functio...