Sciweavers

1264 search results - page 138 / 253
» The framework approach for constraint satisfaction
Sort
View
ICRA
2006
IEEE
150views Robotics» more  ICRA 2006»
16 years 14 days ago
Navigation of Unmanned Marine Vehicles in Accordance with the Rules of the Road
Abstract— This paper is concerned with the in-field autonomous operation of unmanned marine vehicles in accordance with convention for safe and proper collision avoidance as pre...
Michael R. Benjamin, Joseph A. Curcio, John J. Leo...
FORTEST
2008
15 years 8 months ago
Testing Data Types Implementations from Algebraic Specifications
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a...
Marie-Claude Gaudel, Pascale Le Gall
USAB
2008
15 years 7 months ago
Challenges in the Development and Evaluation of Immersive Digital Educational Games
In this paper, we describe a conceptual framework and address the related issues and solutions in the identification of three major challenges for the development and evaluation of...
Effie Lai-Chong Law, Michael D. Kickmeier-Rust, Di...
JFR
2006
141views more  JFR 2006»
15 years 6 months ago
A method for protocol-based collision avoidance between autonomous marine surface craft
This paper is concerned with the in-field autonomous operation of unmanned marine vehicles in accordance with convention for safe and proper collision avoidance as prescribed by t...
Michael R. Benjamin, John J. Leonard, Joseph A. Cu...
INFORMATICALT
2007
97views more  INFORMATICALT 2007»
15 years 6 months ago
Fabric Level and Application Level QoS Guarantees in Grid Computing
In the paper, a cross-layer optimization between application layer and fabric layer is proposed. The aim is to optimize the end-to-end quality of the dynamic grid application as we...
Li Chunlin, Li Layuan