2797 search results - page 30 / 560 » Control Structures |
93
Voted
ALGORITHMICA
2010
15 years 2 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...
119
click to vote
MFCS
2009
Springer
15 years 8 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...
128
click to vote
FOSSACS
2011
Springer
14 years 5 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...
127
click to vote
ICRA
2000
IEEE
15 years 6 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 ...
225
click to vote
POPL
2007
ACM
16 years 2 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...