242 search results - page 20 / 49 » On the Non-sequential Nature of Domain Models of Real-number... |
166
click to vote
UML
2001
Springer
15 years 11 months 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...
144
click to vote
ICTAC
2005
Springer
16 years 4 days 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...
158
click to vote
HCI
2009
15 years 4 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...
178
click to vote
ITS
2000
Springer
15 years 10 months 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...
185
click to vote
ACL
1998
15 years 8 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...