Sciweavers

2214 search results - page 302 / 443
» Complexity of Reasoning
Sort
View
COSIT
2009
Springer
179views GIS» more  COSIT 2009»
15 years 10 months ago
An Algebraic Approach to Image Schemas for Geographic Space
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...
Lisa Walton, Michael F. Worboys
133
Voted
CRYPTO
2009
Springer
150views Cryptology» more  CRYPTO 2009»
15 years 10 months ago
Short and Stateless Signatures from the RSA Assumption
We present the first signature scheme which is “short”, stateless and secure under the RSA assumption in the standard model. Prior short, standard model signatures in the RSA...
Susan Hohenberger, Brent Waters
ECSQARU
2009
Springer
15 years 10 months ago
Probability Density Estimation by Perturbing and Combining Tree Structured Markov Networks
To explore the Perturb and Combine idea for estimating probability densities, we study mixtures of tree structured Markov networks derived by bagging combined with the Chow and Liu...
Sourour Ammar, Philippe Leray, Boris Defourny, Lou...
EMISA
2009
Springer
15 years 10 months ago
Access Control for Monitoring System-Spanning Business Processes in Proviado
: Integrated process support is highly desirable in environments where data related to a particular (business) process are scattered over distributed, heterogeneous information sys...
Sarita Bassil, Manfred Reichert, Ralph Bobrik
IVA
2009
Springer
15 years 10 months ago
A Study into Preferred Explanations of Virtual Agent Behavior
Virtual training systems provide an effective means to train people for complex, dynamic tasks such as crisis management or firefighting. Intelligent agents are often used to pl...
Maaike Harbers, Karel van den Bosch, John-Jules Ch...