Sciweavers

6455 search results - page 966 / 1291
» Research problems
Sort
View
ROBOCUP
2004
Springer
107views Robotics» more  ROBOCUP 2004»
15 years 10 months ago
Towards Illumination Invariance in the Legged League
Abstract. To date, RoboCup games have all been played under constant, bright lighting conditions. However, in order to meet the overall goal of RoboCup, robots will need to be able...
Mohan Sridharan, Peter Stone
131
Voted
SAS
2004
Springer
123views Formal Methods» more  SAS 2004»
15 years 10 months ago
Non-termination Inference for Constraint Logic Programs
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
Étienne Payet, Frédéric Mesna...
SOFTCO
2004
Springer
15 years 10 months ago
Designing Neural Networks Using Gene Expression Programming
Abstract. An artificial neural network with all its elements is a rather complex structure, not easily constructed and/or trained to perform a particular task. Consequently, severa...
Cândida Ferreira
136
Voted
UML
2004
Springer
15 years 10 months ago
Supporting Model Refactorings Through Behaviour Inheritance Consistencies
Abstract. This paper addresses the problem of consistency preservation in model-driven software development. Software models typically embody many different views that need to be ...
Ragnhild Van Der Straeten, Viviane Jonckers, Tom M...
133
Voted
WEBI
2004
Springer
15 years 10 months ago
Type-Based Composition of Information Services in Large Scale Environments
Service matchmaking and composition has recently drawn increasing attention in the research community. Most existing algorithms construct chains of services based on exact matches...
Ion Constantinescu, Boi Faltings, Walter Binder