5090 search results - page 91 / 1018 » Constructing Strategies for Programming |
FLAIRS
2004
13 years 10 months ago
2004
Robots that can adapt and perform multiple tasks promise to be a powerful tool with many applications. In order to achieve such robots, control systems have to be constructed that...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
— In this paper, differential unitary space-time coding and non-coherent space-time coding for the training based approach of Kim and Tarokh are addressed. For this approach, nec...
ESOP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
ACE
2003
13 years 10 months ago
2003
We describe our criterion-referenced grading scheme for a first year programming subject, which has been designed to allow all participating students to achieve their full potenti...
VMCAI
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...