9455 search results - page 210 / 1891 » The Modelling Language Zinc |
153
click to vote
AAAI
2011
14 years 4 months ago
2011
A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the game description language GDL...
221
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
130
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
Collaborative, visual design tools are typically difficult to build and evolve. We describe a meta tool for specification and generation of multiple view, multiple user visual desi...
126
click to vote
ICMAS
1998
15 years 5 months ago
1998
Multi-agent models of language evolution usually involve agents giving names to internal independently constructed categories. We present an approach in which the creation of cate...
150
click to vote
ENGL
2008
15 years 4 months ago
2008
Prototyping is a technique widely used in many engineering fields. However, in software engineering, its usage is limited to requirement elicitation. Little research has been done ...