Sciweavers

9425 search results - page 191 / 1885
» Some Notes on Models and Modelling
Sort
View
UM
2005
Springer
15 years 8 months ago
Temporal Blurring: A Privacy Model for OMS Users
Stereotypes and clustering are some techniques for creating user models from user behavior. Yet, they possess important risks as users actions could be misinterpreted or users coul...
Rosa Alarcón, Luis A. Guerrero, José...
PARA
2004
Springer
15 years 8 months ago
Performance of Taylor Model Methods for Validated Integration of ODEs
The performance of various Taylor model (TM)-based methods for the validated integration of ODEs is studied for some representative computational problems. For nonlinear problems, ...
Martin Berz, Kyoko Makino
FOSSACS
2003
Springer
15 years 8 months ago
Model Checking Lossy Channels Systems Is Probably Decidable
Lossy channel systems (LCS’s) are systems of finite state automata that communicate via unreliable unbounded fifo channels. We propose a new probabilistic model for these syste...
Nathalie Bertrand, Ph. Schnoebelen
SEMWEB
2001
Springer
15 years 7 months ago
Jena: Implementing the RDF Model and Syntax Specification
Some aspects of W3C's RDF Model and Syntax Specification require careful reading and interpretation to produce a conformant implementation. Issues have arisen around anonymou...
Brian McBride
WISE
2000
Springer
15 years 7 months ago
A Model for Evaluating Materialized View Maintenance Algorithms
Many algorithms have been proposed in the area of materialized view maintenance. They provide different capabilities and features, and have different complexity in their implement...
Tok Wang Ling, Eng Koon Sze