6355 search results - page 1184 / 1271 » From Logic to Games |
193
click to vote
GI
2005
Springer
15 years 12 months ago
2005
Springer
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
175
click to vote
ILP
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we survey work being conducted at Imperial College on the use of machine learning to build Systems Biology models of the effects of toxins on biochemical pathways. Se...
205
click to vote
KES
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. A mobile robot that interacts with its environment needs a machineunderstandable representation of objects and their usages. We present an ontology of objects, with gener...
171
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
166
click to vote
TLCA
2005
Springer
15 years 12 months ago
2005
Springer
There is growing public concern about personal data collected by both private and public sectors. People have very little control over what kinds of data are stored and how such da...