3827 search results - page 90 / 766 » The Epsilon Generation Language |
120
click to vote
FLOPS
2010
Springer
15 years 11 months ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...
136
click to vote
KBSE
2006
IEEE
15 years 10 months ago
2006
IEEE
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
134
Voted
UM
2001
Springer
15 years 8 months ago
2001
Springer
This paper describes an integrated approach for interpreting a user’s responses and generating replies in the framework of a WWW-based Bayesian argumentation system. Our system c...
114
click to vote
FDL
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper, we introduce a layout description and generation model, GBLD, based on the notions and elements of L-systems and context-free grammars. Our layout model is compatib...
140
click to vote
AMI
2008
Springer
15 years 6 months ago
2008
Springer
To improve the performance and wellbeing of humans in complex human-computer interaction settings, an interesting challenge for an ambient (or pervasive) agent system is to recogni...