Sciweavers

3856 search results - page 219 / 772
» Models for Automated Earthmoving
Sort
View
LPAR
2005
Springer
16 years 3 days ago
Model Checking Abstract State Machines with Answer Set Programming
ECKING ABSTRACT STATE MACHINES WITH ANSWER SET PROGRAMMING by Calvin Kai Fan Tang B.Sc., Simon Fraser University, 2003 a thesis submitted in partial fulfillment of the requirements...
Calvin Kai Fan Tang, Eugenia Ternovska
ECOOP
2000
Springer
15 years 11 months ago
UML-F: A Modeling Language for Object-Oriented Frameworks
The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows...
Marcus Fontoura, Wolfgang Pree, Bernhard Rumpe
TIME
1994
IEEE
15 years 10 months ago
On the Representation of Temporal Object Roles in Object Oriented Databases
This paper outlines a generic, core temporal object model that provides support for the modeling of temporal object roles. This model draws from notions introduced in some of our ...
Niki Pissinou, Kia Makki
AI
2000
Springer
15 years 6 months ago
Model-based reasoning about learner behaviour
Automated handling of tutoring and training functions in educational systems requires the availability of articulate domain models. In this article we further develop the applicat...
Kees de Koning, Bert Bredeweg, Joost Breuker, Bob ...
3DPVT
2002
IEEE
128views Visualization» more  3DPVT 2002»
15 years 11 months ago
Towards Automatic Modeling of Monuments and Towers
Three-dimensional modeling from images, when carried out entirely by a human, can be time consuming and impractical for large-scale projects. On the other hand, full automation ma...
Sabry F. El-Hakim, J.-Angelo Beraldin, Jean-Fran&c...