Sciweavers

2623 search results - page 224 / 525
» Conceptual Application Domain Modelling
Sort
View
FSTTCS
2007
Springer
16 years 21 days ago
On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
Michael Backes, Markus Dürmuth, Ralf Küs...
ICML
2010
IEEE
15 years 4 months ago
Constructing States for Reinforcement Learning
POMDPs are the models of choice for reinforcement learning (RL) tasks where the environment cannot be observed directly. In many applications we need to learn the POMDP structure ...
M. M. Hassan Mahmud
SEMWEB
2009
Springer
16 years 1 months ago
Task Representation and Retrieval in an Ontology-Guided Modelling System
A modelling procedure consists of a sequence of modelling tasks. With the increasing size of models during the development, the relations among modelling objects and their correspo...
Yuan Ren, Jens Lemcke, Andreas Friesen, Tirdad Rah...
SAC
2008
ACM
15 years 6 months ago
Collaborative software engineering on large-scale models: requirements and experience in ModelBus
This work presents an approach for realizing Model-Driven software engineering in the distributed and multi-developers context. It particularly focuses on the scalability problems...
Prawee Sriplakich, Xavier Blanc, Marie-Pierre Gerv...
APGV
2004
ACM
124views Visualization» more  APGV 2004»
15 years 12 months ago
Image appearance modeling and high-dynamic-range image rendering
Recently, the field of color appearance modeling has been extended further into the spatial and temporal domains through efforts known as image appearance modeling. Image appearan...
Mark D. Fairchild, Garrett M. Johnson, Jiangtao Ku...