Sciweavers

1710 search results - page 161 / 342
» High-Level Programs and Program Conditions
Sort
View
122
Voted
JSW
2008
101views more  JSW 2008»
14 years 10 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
83
Voted
CONCUR
1999
Springer
15 years 2 months 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
15 years 2 months 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
88
Voted
ENVSOFT
2008
105views more  ENVSOFT 2008»
14 years 9 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
14 years 11 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