Sciweavers

3317 search results - page 343 / 664
» Strategies in Rigid-Variable Methods
Sort
View
KCAP
2005
ACM
16 years 10 days ago
Knowledge base reuse through constraint relaxation
Effective reuse of Knowledge Bases (KBs) often entails the expensive task of identifying plausible KB-PS (Problem Solver) combinations. We propose a novel technique based on Const...
Tomas Eric Nordlander, Derek H. Sleeman, Ken N. Br...
VRST
2005
ACM
16 years 9 days ago
Dynamic creation of interactive mixed reality presentations
In this paper, we describe a method of dynamic creation of interactive presentations for Mixed Reality environments. The presentations are created automatically for collections of...
Krzysztof Walczak, Rafal Wojciechowski
FASE
2005
Springer
16 years 9 days ago
Iterative Circular Coinduction for CoCasl in Isabelle/HOL
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
GECCO
2005
Springer
174views Optimization» more  GECCO 2005»
16 years 8 days ago
Coordinating multi-rover systems: evaluation functions for dynamic and noisy environments
This paper addresses the evolution of control strategies for a collective: a set of entities that collectively strives to maximize a global evaluation function that rates the perf...
Kagan Tumer, Adrian K. Agogino
ICNC
2005
Springer
16 years 8 days ago
Training Data Selection for Support Vector Machines
Abstract. In recent years, support vector machines (SVMs) have become a popular tool for pattern recognition and machine learning. Training a SVM involves solving a constrained qua...
Jigang Wang, Predrag Neskovic, Leon N. Cooper