Search Sciweavers | Sciweavers

31387 search results - page 141 / 6278

» Abstracts

106

click to vote

ROBOCUP
2007
Springer

75views Robotics» more ROBOCUP 2007»

A Simulation Environment for Middle-Size Robots with Multi-level Abstraction

16 years 17 days ago

Download www-kbsg.informatik.rwth-aachen.de

Daniel Beck, Alexander Ferrein, Gerhard Lakemeyer

claim paper

Read More »

135

click to vote

ROBOCUP
2007
Springer

112views Robotics» more ROBOCUP 2007»

HMDP: A New Protocol for Motion Pattern Generation Towards Behavior Abstraction

16 years 17 days ago

Download www.er.ams.eng.osaka-u.ac.jp

Norbert Michael Mayer, Joschka Boedecker, Kazuhiro...

claim paper

Read More »

146

click to vote

RR
2007
Springer

111views Automated Reasoning» more RR 2007»

Bridging Concrete and Abstract Syntax of Web Rule Languages

16 years 17 days ago

Download rewerse.net

Milan Milanovic, Dragan Gasevic, Adrian Giurca, Ge...

claim paper

Read More »

132

click to vote

RV
2007
Springer

76views Hardware» more RV 2007»

Translation Validation of System Abstractions

16 years 17 days ago

Download rtg.cis.upenn.edu

Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffte...

claim paper

Read More »

107

click to vote

SARA
2007
Springer

79views Artificial Intelligence» more SARA 2007»

Using Infeasibility to Improve Abstraction-Based Heuristics

16 years 17 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers