Sciweavers

1636 search results - page 206 / 328
» Reasoning About Quantum Systems
Sort
View
CLIMA
2004
15 years 7 months ago
Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs
Abstract. Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially...
Martin Homola
INTERACT
2003
15 years 7 months ago
Designing and Prototyping Multimodal Commands
Abstract: Designing and implementing multimodal applications that take advantage of several recognitionbased interaction techniques (e.g. speech and gesture recognition) is a diffi...
Marie-Luce Bourguet
WSCG
2003
161views more  WSCG 2003»
15 years 7 months ago
A Visualization-based Approach to Explore Geographic Metadata
The paper presents a visualization-based approach to explore large databases of geographic metadata. The aim of the data exploration is to search and acquire expressive geographic...
Riccardo Albertoni, Alessio Bertone, Monica De Mar...
FLAIRS
2000
15 years 7 months ago
The Use of Formal Methods for Trusted Digital Signature Devices
This paper presents a formal security policy model for SmartCards with digital signature application. This kind of model is necessary for each evaluation according to Information ...
Bruno Langenstein, Roland Vogt, Markus Ullmann
DS
1997
97views Database» more  DS 1997»
15 years 7 months ago
A Formalization of ODMG Queries
The ODMG proposal has helped to focus the work on object-oriented databases (OODBs) onto a common object model and query language. Nevertheless there are several shortcomings of t...
Holger Riedel, Marc H. Scholl