Sciweavers

1648 search results - page 145 / 330
» A Modelling Framework for Functional Imagination
Sort
View
ADAEUROPE
2001
Springer
15 years 11 months ago
Transaction Support for Ada
This paper describes the transaction support framework OPTIMA and its implementation for Ada 95. First, a transaction model that fits concurrent programming languages is presented...
Jörg Kienzle, Ricardo Jiménez-Peris, A...
SCALESPACE
2009
Springer
16 years 28 days ago
Generic Scene Recovery Using Multiple Images
In this paper, a generative model based method for recovering both the shape and the reflectance of the surface(s) of a scene from multiple images is presented, assuming that illu...
Kuk-Jin Yoon, Emmanuel Prados, Peter F. Sturm
IAT
2007
IEEE
16 years 21 days ago
Planning and Choosing: Augmenting HTN-Based Agents with Mental Attitudes
This paper describes a new agent framework that fuses an HTN planner, through its underlying conceptual model, with the mental attitudes of the BDI agent architecture, thus exploi...
Gerhard Wickler, Stephen Potter, Austin Tate, Mich...
WSC
2004
15 years 7 months ago
A Unified Approach for Finite-Dimensional, Rare-Event Monte Carlo Simulation
We consider the problem of estimating the small probability that a function of a finite number of random variables exceeds a large threshold. Each input random variable may be lig...
Zhi Huang, Perwez Shahabuddin
IWFM
2000
167views Formal Methods» more  IWFM 2000»
15 years 7 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
Claus Pahl