Sciweavers

1710 search results - page 161 / 342
» High-Level Programs and Program Conditions
Sort
View
JSW
2008
101views more  JSW 2008»
13 years 8 months ago
Graphical Mission Specification and Partitioning for Unmanned Underwater Vehicles
- The use of Unmanned Underwater Vehicles (UUVs) has been proposed for several different types of applications including hydrographic surveys (e.g., mapping the ocean floor and exp...
Gary Giger, Mahmut T. Kandemir, John Dzielski
CONCUR
1999
Springer
14 years 17 days ago
Object Types against Races
This paper investigates an approach for statically preventing race conditions in an object-oriented language. The setting of this work is a variant of Gordon and Hankin’s concurr...
Cormac Flanagan, Martín Abadi
EWHCI
1994
14 years 12 days ago
Positive Effects of Sound Feedback During the Operation of a Plant Simulator
An experiment was carried out to estimate the effect of sound feedback on the work of a plant operator. Eight students of computer science operated a process simulation program of...
Matthias Rauterberg, Erich Styger
ENVSOFT
2008
105views more  ENVSOFT 2008»
13 years 7 months ago
Software tools for pre- and post-processing of oceanic regional simulations
ROMSTOOLS, a collection of global data sets and a series of Matlab programs collected in an integrated toolbox, generates the grid, surface forcing, initial condition, open bounda...
Pierrick Penven, Patrick Marchesiello, Laurent Deb...
AAAI
1996
13 years 9 months ago
What Is Planning in the Presence of Sensing?
The Airport Example The Omelette Example Copyright c 1996 American Association for Artificial Intelligence. All rights reserved. Despite the existence of programs that are able to ...
Hector J. Levesque