Sciweavers

1120 search results - page 73 / 224
» A Formal Framework for Interactive Agents
Sort
View
JUCS
2008
172views more  JUCS 2008»
15 years 6 months ago
Formal Action Semantics for a UML Action Language
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
Mikai Yang, Greg J. Michaelson, Rob Pooley
IADIS
2004
15 years 7 months ago
Connect: Designing the Classroom of Tomorrow by Using Advanced Technologies to Connect Formal and Informal Learning Environments
The main objective of the CONNECT project is to develop an innovative pedagogical framework that attempts to blend formal and informal learning, proposing an educational reform to ...
Sofoklis Sotiriou, Eleni Chatzichristou, Stavros S...
CIMCA
2006
IEEE
16 years 12 days ago
Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
Devinder Thapa, Jaeil Park, Gi-Nam Wang, Dongmin S...
AAAI
2008
15 years 8 months ago
An Architecture and Formalism for Handling Modular Ontologies
The goal of my ongoing work is to provide an architecture for developing and manipulating modular ontologies in such a way that each ontology module can plug into or unplug from a...
Faezeh Ensan
SIGGRAPH
1996
ACM
15 years 10 months ago
Visual Models of Plants Interacting with Their Environment
Interaction with the environment is a key factor affecting the development of plants and plant ecosystems. In this paper we introduce a modeling framework that makes it possible t...
Radomír Mech, Przemyslaw Prusinkiewicz