Sciweavers

11129 search results - page 1829 / 2226
» Modeling Search Computing Applications
Sort
View
GRAPHITE
2003
ACM
16 years 21 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 20 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 20 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
217
Voted
ICVS
2003
Springer
16 years 20 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
208
Voted
IDEAL
2003
Springer
16 years 20 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 »