279 search results - page 27 / 56 » Applying Reduction Techniques to Software Functional Require... |
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
Software's increasing role creates both requirements for being able to trust it more than before, and for more people to know how much they can trust their software. A sound ...
105
click to vote
KBSE
2000
IEEE
15 years 1 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
CODES
1998
IEEE
15 years 2 months ago
1998
IEEE
Telecommunication systems are often specified in the standardized languages SDL and MSc. These languages allow only the specification of pure functional aspects. To remedy this pr...
ICMLA
2009
14 years 7 months ago
2009
This paper describes a novel real-world reinforcement learning application: The Neuro Slot Car Racer. In addition to presenting the system and first results based on Neural Fitted...
ERLANG
2007
ACM
15 years 1 months ago
2007
ACM
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...