Sciweavers

2958 search results - page 473 / 592
» Extending and Implementing RASP
Sort
View
ENTCS
2002
113views more  ENTCS 2002»
13 years 11 months ago
An Operational Semantics for Declarative Multi-Paradigm Languages
Practical declarative multi-paradigm languages combine the main features of functional, logic and concurrent programming (e.g., laziness, sharing, higher-order, logic variables, n...
Elvira Albert, Michael Hanus, Frank Huch, Javier O...
ENVSOFT
2002
129views more  ENVSOFT 2002»
13 years 11 months ago
Linking GIS and water resources management models: an object-oriented method
Many challenges are associated with the integration of geographic information systems (GISs) with models in specific applications. One of them is adapting models to the environmen...
Daene C. McKinney, Ximing Cai
IJCIM
2002
99views more  IJCIM 2002»
13 years 11 months ago
A distributed, event-driven control architecture for flexibly automated manufacturing systems
This paper presents a new distributed real-time control architecture for flexibly automated production systems. The modelling assumptions underlying the design en by, and abstract,...
Jonghun Park, Spyros A. Reveliotis, Douglas A. Bod...
AROBOTS
1998
100views more  AROBOTS 1998»
13 years 11 months ago
Interleaving Planning and Robot Execution for Asynchronous User Requests
Rogue is an architecture built on a real robot which provides algorithms for the integration of highlevel planning, low-level robotic execution, and learning. Rogue addresses succ...
Karen Zita Haigh, Manuela M. Veloso
IJCV
2002
148views more  IJCV 2002»
13 years 11 months ago
A Taxonomy and Evaluation of Dense Two-Frame Stereo Correspondence Algorithms
Stereo matching is one of the most active research areas in computer vision. While a large number of algorithms for stereo correspondence have been developed, relatively little wo...
Daniel Scharstein, Richard Szeliski