Sciweavers

140 search results - page 12 / 28
» A Quantitative Model of Counterfactual Reasoning
Sort
View
MVA
2000
232views Computer Vision» more  MVA 2000»
13 years 10 months ago
Automatic extraction of roads from aerial images based on scale space and snakes
We propose a new approach for automatic road extraction from aerial imagery with a model and a strategy mainly based on the multi-scale detection of roads in combination with geome...
Ivan Laptev, Helmut Mayer, Tony Lindeberg, Wolfgan...
CSFW
2005
IEEE
14 years 4 months ago
Belief in Information Flow
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
Michael R. Clarkson, Andrew C. Myers, Fred B. Schn...
ITNG
2007
IEEE
14 years 5 months ago
Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach
In this paper, we propose a new model for securing agent-based systems in which agents are equipped with reasoning capabilities allowing them to interact with each other. The agen...
Jamal Bentahar, John-Jules Ch. Meyer, Bernard Moul...
EVOW
2008
Springer
14 years 20 days ago
Enhancing Parameter Estimation of Biochemical Networks by Exponentially Scaled Search Steps
A fundamental problem of modelling in Systems Biology is to precisely characterise quantitative parameters, which are hard to measure experimentally. For this reason, it is common ...
Hendrik Rohn, Bashar Ibrahim, Thorsten Lenser, Tho...
LOGCOM
2010
128views more  LOGCOM 2010»
13 years 9 months ago
Answer Set Programming with Resources
In this paper, we propose an extension of Answer Set Programming (ASP) to support declarative reasoning on consumption and production of resources. We call the proposed extension ...
Stefania Costantini, Andrea Formisano