Sciweavers

3073 search results - page 458 / 615
» Real World Verification
Sort
View
APVIS
2010
13 years 11 months ago
Shape-based transfer functions for volume visualization
We present a novel classification technique for volume visualization that takes the shape of volumetric features into account. The presented technique enables the user to distingu...
Jörg-Stefan Praßni, Timo Ropinski, J&ou...
BCSHCI
2007
13 years 11 months ago
Envisioning future mobile spatial applications
This paper presents two empirical investigations of future applications of mobile spatial interaction, i.e. the use of mobile phones as pointers to the real world. In situated int...
Peter Fröhlich, Rainer Simon, Elisabeth Muss,...
CATS
2007
13 years 11 months ago
Planning with Time Limits in BDI Agent Programming Languages
This paper provides a theoretical basis for performing time limited planning within Belief-Desire-Intention (BDI) agents. The BDI agent architecture is recognised as one of the mo...
Lavindra de Silva, Anthony Dekker, James Harland
COMAD
2008
13 years 11 months ago
Towards the Preservation of Keys in XML Data Transformation for Integration
Transformation of a source schema with its conforming data to a target schema with its conforming data is an important activity in XML as two schemas in XML can represent same rea...
Md. Sumon Shahriar
DAGSTUHL
2007
13 years 11 months ago
Subspace outlier mining in large multimedia databases
Abstract. Increasingly large multimedia databases in life sciences, ecommerce, or monitoring applications cannot be browsed manually, but require automatic knowledge discovery in d...
Ira Assent, Ralph Krieger, Emmanuel Müller, T...