242 search results - page 20 / 49 » On the Non-sequential Nature of Domain Models of Real-number... |
UML
2001
Springer
14 years 27 days ago
2001
Springer
This paper describes an action semantics for UML based on the Meta-Modelling Language (MML) - a precise meta-modelling language designed for developing families of UML languages. A...
ICTAC
2005
Springer
14 years 1 months ago
2005
Springer
Coalgebras provide effective models of data structures and state-transition systems. A virtual covariety is a class of coalgebras closed under coproducts, images of coalgebraic mo...
HCI
2009
13 years 6 months ago
2009
The rapid evolution of molecule's imaging and observation's techniques has caused a growing interest in studying molecular structures. Naturally, scientists have turned t...
ITS
2000
Springer
14 years 1 days ago
2000
Springer
This paper presents an approach to the design of a learning environment in a mathematical domain (elementary combinatorics) where problem solving is based more on modelling than o...
ACL
1998
13 years 9 months ago
1998
A critical path in the development of natural language understanding NLU modules lies in the di culty of de ning a mapping from words to semantics: Usually it takes in the order o...