2797 search results - page 30 / 560 » Control Structures |
ALGORITHMICA
2010
13 years 9 months ago
2010
We consider a data-structural problem motivated by version control of a hierarchical directory structure in a system like Subversion. The model is that directories and files can b...
MFCS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
FOSSACS
2011
Springer
13 years 1 months ago
2011
Springer
The paper investigates non-deterministic, probabilistic and quantum walks, from the perspective of coalgebras and monads. Nondeterministic and probabilistic walks are coalgebras of...
ICRA
2000
IEEE
14 years 2 months ago
2000
IEEE
In this paper, a neural network controller for constrained robot manipulators is presented. A feedforward neural network is used to adaptively compensate for the uncertainties in ...
POPL
2007
ACM
14 years 10 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...