31387 search results - page 6269 / 6278 » Abstracting abstract machines |
GI
2005
Springer
14 years 1 months ago
2005
Springer
Abstract: In der Lehre zum Thema Wissensbasierte Robotik verwenden wir seit Kurzem den Robotersimulator USARSIM, der weltweit im Kontext der RoboCup Rescue Real Robot Liga eingeset...
KIVS
2005
Springer
14 years 29 days ago
2005
Springer
Abstract: SOAP wurde als leichtgewichtiges Protokoll zum Austausch von strukturierten Informationen in einer verteilten Umgebung konzipiert und bildet so die Basis der ” Web Serv...
LPNMR
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...
SCHULE
2005
Springer
14 years 28 days ago
2005
Springer
Abstract: Der Beitrag nimmt die Diskussion um Bildungsstandards f¨ur die Schulinformatik auf. Im Vergleich mit Standards f¨ur die Mathematik wird daf¨ur eingetreten, Informatik-...
EMISA
2004
Springer
14 years 26 days ago
2004
Springer
Abstract: In diesem Beitrag wird beschrieben, in welcher Form E-LearningAnwendungen durch ein Informationsportal unterstützt werden können. Am Beispiel eines sich in der Entwickl...