Sciweavers

1297 search results - page 165 / 260
» Large Model Visualization: Techniques and Applications
Sort
View
CADE
2008
Springer
16 years 4 months ago
Individual Reuse in Description Logic Reasoning
Abstract. Tableau calculi are the state-of-the-art for reasoning in description logics (DL). Despite recent improvements, tableau-based reasoners still cannot process certain knowl...
Boris Motik, Ian Horrocks
HT
2007
ACM
15 years 7 months ago
An agile hypertext design methodology
Customers are driving down lead times for software, especially for Web applications, to only a few months. While a number of hypertext design models exist, they do not address the...
Gary B. Wills, Noura Abbas, Rakhi Chandrasekharan,...
ISMAR
2009
IEEE
15 years 10 months ago
Physical-virtual tools for spatial augmented reality user interfaces
This paper presents a new user interface methodology for Spatial Augmented Reality systems. The methodology is based on a set of physical tools that are overloaded with logical fu...
Michael R. Marner, Bruce H. Thomas, Christian Sand...
ISMAR
2006
IEEE
15 years 10 months ago
Hybrid tracking algorithms for planar and non-planar structures subject to illumination changes
Augmented Reality (AR) aims to fuse a virtual world and a real one in an image stream. When considering only a vision sensor, it relies on registration techniques that have to be ...
Muriel Pressigout, Éric Marchand
127
Voted
APVIS
2004
15 years 5 months ago
Inhomogeneous Force-Directed Layout Algorithms in the Visualisation Pipeline: From Layouts to Visualisations
The visualisation pipeline approach is a flexible and extensible technique for generating visualisations. The basic pipeline functions involve the capture and representation of da...
Neville Churcher, Warwick Irwin, Carl Cook