Sciweavers

688 search results - page 83 / 138
» The Flow Set with Partial Order
Sort
View
AI
2011
Springer
14 years 4 months ago
First-order logical filtering
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intr...
Afsaneh Shirazi, Eyal Amir
SIAMCO
2011
14 years 4 months ago
Nonlinear Black-Scholes Equations in Finance: Associated Control Problems and Properties of Solutions
We study properties of solutions to fully nonlinear versions of the standard Black– Scholes partial differential equation. These equations have been introduced in financial mat...
Rüdiger Frey, Ulrike Polte
COMSIS
2007
128views more  COMSIS 2007»
14 years 9 months ago
Constructing program animations using a pattern-based approach
The aim of this paper is to discuss how our pattern-based strategy for the visualization of data and control flow can effectively be used to animate the program and exhibit its beh...
Daniela Carneiro da Cruz, Pedro Rangel Henriques, ...
VLDB
2007
ACM
225views Database» more  VLDB 2007»
15 years 10 months ago
An Approach to Optimize Data Processing in Business Processes
In order to optimize their revenues and profits, an increasing number of businesses organize their business activities in terms of business processes. Typically, they automate imp...
Marko Vrhovnik, Holger Schwarz, Oliver Suhre, Bern...
ESOP
2008
Springer
14 years 11 months ago
Just Forget It - The Semantics and Enforcement of Information Erasure
Abstract. There are many settings in which sensitive information is made available to a system or organisation for a specific purpose, on the understanding that it will be erased o...
Sebastian Hunt, David Sands