5090 search results - page 47 / 1018 » Constructing Strategies for Programming |
143
Voted
IJFCS
2008
15 years 2 months ago
2008
Abstract. Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre H(C), is regular. In this paper, we give ...
128
click to vote
NAACL
2001
15 years 3 months ago
2001
Developing dialogue systems is a complex process. In particular, designing efficient dialogue management strategies is often difficult as there are no precise guidelines to develo...
109
click to vote
JUCS
2010
14 years 9 months ago
2010
Abstract: We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped -calcul...
125
click to vote
ISER
2000
Springer
15 years 6 months ago
2000
Springer
: Automatic model construction is a core problem in mobile robotics. To solve this task efficiently, we need a motion strategy to guide a robot equipped with a range sensor through...
145
click to vote
PROCOMET
1998
15 years 3 months ago
1998
A convention is proposed for embedding program statements into Dijkstra's calculus, with the aim of simplifying the stepwise construction of programs.