Sciweavers

720 search results - page 99 / 144
» Visualization of Description Logic Models
Sort
View
ISMAR
2009
IEEE
14 years 2 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...
DIAGRAMS
2004
Springer
13 years 11 months ago
Towards a Default Reading for Constraint Diagrams
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
Andrew Fish, John Howse
ACSAC
2009
IEEE
14 years 2 months ago
An Empirical Approach to Modeling Uncertainty in Intrusion Analysis
: © An Empirical Approach to Modeling Uncertainty in Intrusion Analysis Xinming Ou, Siva Raj Rajagopalan, Sakthiyuvaraja Sakthivelmurugan HP Laboratories HPL-2009-334 intrusion de...
Xinming Ou, Siva Raj Rajagopalan, Sakthiyuvaraja S...
SPIN
2007
Springer
14 years 2 months ago
Tutorial: Parallel Model Checking
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
Lubos Brim, Jiri Barnat
DEXA
2004
Springer
180views Database» more  DEXA 2004»
14 years 1 months ago
Algebra-to-SQL Query Translation for Spatio-Temporal Databases
Although many spatio-temporal conceptual models has been proposed in the last years, users must express their queries on the underlying physical data structures. In the context of ...
Mohammed Minout, Esteban Zimányi