54 search results - page 4 / 11 » Foundations of a pattern language based on Gestalt principle... |
PUC
2000
13 years 7 months ago
2000
This paper considers how we may provide support for the development of general design principles in domestic environments. In particular we examine the potential for using design p...
ECBS
2008
IEEE
13 years 7 months ago
2008
IEEE
A discrete control system, with stringent hardware constraints, is effectively an embedded real-time system and hence requires a rigorous methodology to develop the software invol...
AAAI
1992
13 years 8 months ago
1992
An intelligent agent uses known facts, including statistical knowledge, to assign degrees of belief to assertions it is uncertain about. We investigate three principled techniques...
ICFP
2005
ACM
14 years 7 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
AAAI
2008
13 years 9 months ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...