1159 search results - page 25 / 232 » On The Next Move in Programming |
141
click to vote
ICTAC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
124
click to vote
IOR
2010
15 years 1 months ago
2010
We present a Simplex-type algorithm, that is, an algorithm that moves from one extreme point of the infinite-dimensional feasible region to another not necessarily adjacent extrem...
117
click to vote
ITNG
2006
IEEE
15 years 10 months ago
2006
IEEE
The accepted view of programming, rooted in Turing’s fundamental characterization of algorithms, has had a profound impact on the theory and practice of computing with yet broad...
173
click to vote
LPNMR
2007
Springer
15 years 10 months ago
2007
Springer
Decision making models for autonomous agents have received increased attention, particularly in the field of intelligent robots. In this paper we will show how a Defeasible Logic ...
116
click to vote
HCI
2007
15 years 5 months ago
2007
Ambient intelligence involves synthesising data from a range of sources in order to exhibit meaningful adaptive behaviour without explicit user direction, driven by inputs from lar...