Sciweavers

7961 search results - page 174 / 1593
» Input-Output Model Programs
Sort
View
IJCAI
2003
15 years 4 months ago
Scenario-based Stochastic Constraint Programming
To model combinatorial decision problems involving uncertainty and probability, we extend the stochastic constraint programming framework proposed in [Walsh, 2002] along a number ...
Suresh Manandhar, Armagan Tarim, Toby Walsh
ENTCS
2007
89views more  ENTCS 2007»
15 years 3 months ago
Quantum Programs With Classical Output Streams: (Extended Abstract)
d abstract) Dominique Unruh 1 Institut f¨ur Algorithmen und Kognitive Systeme, Universit¨at Karlsruhe Am Fasanengarten 5, 76131 Karlsruhe, Germany We show how to model the seman...
Dominique Unruh
140
Voted
PC
2008
158views Management» more  PC 2008»
15 years 3 months ago
Application of multistage stochastic programs solved in parallel in portfolio management
We present a multistage model for allocation of financial resources to bond indices in different currencies. The model was tested on historical data of interest and exchange rates...
Mária Lucká, Igor Melichercik, Ladis...
ICPADS
1996
IEEE
15 years 7 months ago
Implementation of MAP: A system for mobile assistant programming
We have de ne a network programming model called Mobile Assistant Programming (MAP) for development and execution of communication applications in large scale networks of heteroge...
Stéphane Perret, Andrzej Duda
AAAI
2008
15 years 5 months ago
A Formalization of Program Debugging in the Situation Calculus
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
Yongmei Liu