Sciweavers

2825 search results - page 437 / 565
» Support for Object-Oriented Testing
Sort
View
DKE
2010
112views more  DKE 2010»
13 years 9 months ago
An integer programming based approach for verification and diagnosis of workflows
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...
Rik Eshuis, Akhil Kumar
EOR
2008
200views more  EOR 2008»
13 years 9 months ago
A dynamic stochastic programming model for international portfolio management
We develop a multi-stage stochastic programming model for international portfolio management in a dynamic setting. We model uncertainty in asset prices and exchange rates in terms...
Nikolas Topaloglou, Hercules Vladimirou, Stavros A...
ASE
2006
122views more  ASE 2006»
13 years 9 months ago
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
Andrew Ireland, Jamie Stark
CN
2006
82views more  CN 2006»
13 years 9 months ago
Event-condition-action rules on RDF metadata in P2P environments
RDF is one of the technologies proposed to realise the vision of the Semantic Web and it is being increasingly used in distributed web-based applications. The use of RDF in applic...
George Papamarkos, Alexandra Poulovassilis, Peter ...
CORR
2006
Springer
101views Education» more  CORR 2006»
13 years 9 months ago
MDL Convergence Speed for Bernoulli Sequences
The Minimum Description Length principle for online sequence estimation/prediction in a proper learning setup is studied. If the underlying model class is discrete, then the total...
Jan Poland, Marcus Hutter