3713 search results - page 431 / 743 » Constructing a Calculus of Programs |
132
click to vote
TOG
2010
14 years 11 months ago
2010
We present a method for automated generation of building layouts for computer graphics applications. Our approach is motivated by the layout design process developed in architectu...
126
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
In this paper we present a minimum sphere covering approach to pattern classification that seeks to construct a minimum number of spheres to represent the training data and formul...
155
click to vote
MIDDLEWARE
2009
Springer
15 years 11 months ago
2009
Springer
The emergence of networked devices in the home has made it possible to develop applications that control a variety of household functions. However, current devices communicate via ...
135
click to vote
ILP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Despite the considerable success of Inductive Logic Programming, deployed ILP systems still have efficiency problems when applied to complex problems. Several techniques ...
108
click to vote
PAPM
2001
Springer
15 years 9 months ago
2001
Springer
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...