Sciweavers

4814 search results - page 584 / 963
» Combining abstract interpreters
Sort
View
ROBOCUP
2004
Springer
95views Robotics» more  ROBOCUP 2004»
16 years 4 days ago
Visual Robot Detection in RoboCup Using Neural Networks
Abstract. Robot recognition is a very important point for further improvements in game-play in RoboCup middle size league. In this paper we present a neural recognition method we d...
Ulrich Kaufmann, Gerd Mayer, Gerhard K. Kraetzschm...
ROBOCUP
2004
Springer
108views Robotics» more  ROBOCUP 2004»
16 years 4 days ago
Turning Segways into Robust Human-Scale Dynamically Balanced Soccer Robots
Abstract. The Segway Human Transport (HT) is a one person dynamically selfbalancing transportation vehicle. The Segway Robot Mobility Platform (RMP) is a modification of the HT cap...
Jeremy Searock, Brett Browning, Manuela M. Veloso
161
Voted
WABI
2004
Springer
16 years 4 days ago
Local Search Heuristic for Rigid Protein Docking
Abstract. We give an algorithm that locally improves the fit between two proteins modeled as space-filling diagrams. The algorithm defines the fit in purely geometric terms and...
Vicky Choi, Pankaj K. Agarwal, Herbert Edelsbrunne...
CEC
2003
IEEE
16 years 2 days ago
Where are bottlenecks in NK fitness landscapes?
Abstract- Usually the offspring-parent fitness correlation is used to visualize and analyze some caracteristics of fitness landscapes such as evolvability. In this paper, we intr...
Sébastien Vérel, Philippe Collard, M...
COOPIS
2003
IEEE
16 years 2 days ago
Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web
Abstract. Flora-2 is a rule-based object-oriented knowledge base system designed for a variety of automated tasks on the Semantic Web, ranging from meta-data management to informat...
Guizhen Yang, Michael Kifer, Chang Zhao