Sciweavers

4894 search results - page 387 / 979
» Dynamic Abstraction Planning
Sort
View
DANCE
2002
IEEE
16 years 17 days ago
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
José Meseguer, Peter Csaba Ölveczky, M...
ICRA
2002
IEEE
160views Robotics» more  ICRA 2002»
16 years 17 days ago
Coordinated Target Assignment and Intercept for Unmanned Air Vehicles
—This paper presents an end-to-end solution to the cooperative control problem represented by the scenario where unmanned air vehicles (UAVs) are assigned to transition through k...
Randal W. Beard, Timothy W. McLain, Michael A. Goo...
AH
2000
Springer
15 years 12 months ago
A Connectionist Approach for Supporting Personalized Learning in a Web-Based Learning Environment
The paper investigates the use of computational intelligence for adaptive lesson presentation in a Web-based learning environment. A specialized connectionist architecture is devel...
Kyparisia A. Papanikolaou, George D. Magoulas, Mar...
ICRA
1998
IEEE
137views Robotics» more  ICRA 1998»
15 years 12 months ago
GRAMMPS: A Generalized Mission Planner for Multiple Mobile Robots in Unstructured Environments
For a system of cooperative mobile robots to be effective in real-world applications, it must be able to efficiently execute a wide class of complex tasks in potentially unknown a...
Barry Brumitt, Anthony Stentz
REFLECTION
1999
Springer
15 years 12 months ago
Metaprogramming Domain Specific Metaprograms
When a metaprogram automatically creates rules, some created rules are useless because they can never apply. Some metarules, that we call impossibility metarules, are used to remov...
Tristan Cazenave