Sciweavers

1155 search results - page 54 / 231
» A Decision-Theoretic Model of Assistance
Sort
View
IEEECIT
2006
IEEE
15 years 3 months ago
Statistical 3D Cranio-Facial Models
In forensic science, 3D cranio facail reconstruction is used to reconstruct the face from a skull. This can be done by manual approaches or computer assisted methods. The proposed...
Maxime Berar, Michel Desvignes, Gérard Bail...
EUROPKI
2004
Springer
15 years 3 months ago
A Probabilistic Model for Evaluating the Operational Cost of PKI-based Financial Transactions
The use of PKI in large scale environments suffers some inherent problems concerning the options to adopt for the optimal cost-centered operation of the system. In this paper a Mar...
Agapios N. Platis, Costas Lambrinoudakis, Assimaki...
LREC
2010
162views Education» more  LREC 2010»
14 years 11 months ago
The Ariadne System: A Flexible and Extensible Framework for the Modeling and Storage of Experimental Data in the Humanities
This paper introduces the Ariadne Corpus Management System. First, the underlying data model is presented which enables users to represent and process heterogeneous data sets with...
Peter Menke, Alexander Mehler
BNCOD
2009
97views Database» more  BNCOD 2009»
14 years 11 months ago
An XML-Based Model for Supporting Context-Aware Query and Cache Management
Abstract. Database systems (DBSs) can play an essential role in facilitating the query and cache management in context-aware mobile information systems (CAMIS). Two of the fundamen...
Essam Mansour, Hagen Höpfner
LPAR
2010
Springer
14 years 8 months ago
Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...
Jasmin Christian Blanchette, Koen Claessen