Sciweavers

11129 search results - page 1829 / 2226
» Modeling Search Computing Applications
Sort
View
GRAPHITE
2003
ACM
16 years 3 days ago
Real-time image based lighting in software using HDR panoramas
We present a system allowing real-time image based lighting based on HDR panoramic images. The system performs time-consuming diffuse light calculations in a preprocessing step, w...
Jonas Unger, Magnus Wrenninge, Mark Ollila
FM
2003
Springer
112views Formal Methods» more  FM 2003»
16 years 2 days ago
Structuring Retrenchments in B by Decomposition
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
Michael Poppleton, Richard Banach
ICVS
2003
Springer
16 years 1 days ago
Towards Ontology Based Cognitive Vision
This paper details a visual concept ontology driven knowledge acquisition methodology. We propose to use a visual concept ontology to guide experts in the visual description of the...
Nicolas Maillot, Monique Thonnat, Alain Boucher
ICVS
2003
Springer
16 years 1 days ago
Automatic Mapping of Settlement Areas Using a Knowledge-Based Image Interpretation System
Abstract. We introduce the knowledge-based image interpretation system GeoAIDA and give examples for an image operator, extracting trees from aerial imagery. Moreover we present a ...
Bernd-Michael Straub, Markus Gerke, Martin Pahl
IDEAL
2003
Springer
16 years 1 days ago
A Multi-agent System for Emergency Decision Support
This paper describes the multi-agent organization of a computer system that was designed to assist operators in decision making in the presence of emergencies. The application was ...
Martín Molina, Gemma Blasco
« Prev « First page 1829 / 2226 Last » Next »