312 search results - page 25 / 63 » Model Compiler Construction Based on Aspect-Oriented Mechani... |
AROBOTS
1999
13 years 7 months ago
1999
Abstract. Classical conditioning is a basic learning mechanism in animals and can be found in almost all organisms. If we want to construct robots with abilities matching those of ...
ISER
2004
Springer
14 years 27 days ago
2004
Springer
We have been trying to induce a quadruped robot to walk with medium walking speed on irregular terrain based on biological concepts. We propose the essential conditions for stable ...
MVA
1990
13 years 8 months ago
1990
It is strongly desired to construct multimedia databases especially of maps or engineering drawings. If these databases are intended to be used really effectively, original drawin...
ML
2008
ACM
13 years 7 months ago
2008
ACM
We present a way to run Objective Caml programs on a standard, unmodified web browser, with a compatible data representation and execution model, including concurrency. To achieve...
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...