Sciweavers

3804 search results - page 429 / 761
» From Here to There
Sort
View
187
Voted
ICCS
2004
Springer
16 years 5 days ago
Velocity Field Modelling for Pollutant Plume Using 3-D Adaptive Finite Element Method
Air pollution models usually start from the computation of the velocity field of a fluid. In this paper, we present a model for computing that field based on the contribution of...
Gustavo Montero, Rafael Montenegro, José Ma...
ICCSA
2004
Springer
16 years 5 days ago
Semantic Completeness in Sub-ontology Extraction Using Distributed Methods
The use of ontologies lies at the very heart of the newly emerging era of Semantic Web. They provide a shared conceptualization of some domain that may be communicated between peop...
Mehul Bhatt, Carlo Wouters, Andrew Flahive, J. Wen...
ICLP
2004
Springer
16 years 5 days ago
Speculative Computations in Or-Parallel Tabled Logic Programs
Abstract. Pruning operators, such as cut, are important to develop efficient logic programs as they allow programmers to reduce the search space and thus discard unnecessary compu...
Ricardo Rocha, Fernando M. A. Silva, Vítor ...
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
16 years 5 days ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford
ISMIR
2004
Springer
192views Music» more  ISMIR 2004»
16 years 5 days ago
Extraction of Drum Patterns and their Description within the MPEG-7 High-Level-Framework
A number of metadata standards have been published in recent years due to the increasing availability of multimedia content and the resulting issue of sorting and retrieving this ...
Matthias Gruhne, Christian Uhle, Christian Dittmar...