952 search results - page 140 / 191 » Computational complexity of stochastic programming problems |
POS
1998
Springer
15 years 7 months ago
1998
Springer
Persistent programming languages are targetted primarily at application systems involving complex data structures and relationships, as typi ed by Geographical Information Systems...
124
click to vote
COGSR
2011
14 years 10 months ago
2011
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...
158
click to vote
RTA
2005
Springer
15 years 8 months ago
2005
Springer
Cryptographic protocols are small programs which involve a high level of concurrency and which are difficult to analyze by hand. The most successful methods to verify such protocol...
113
click to vote
CP
2003
Springer
15 years 8 months ago
2003
Springer
Mechanism design is the art of designing the rules of the game (aka. mechanism) so that a desirable outcome (according to a given objective) is reached despite the fact that each a...
126
click to vote
DAC
2008
ACM
16 years 4 months ago
2008
ACM
Due to recent advances in microfluidics technology, digital microfluidic biochips and their associated CAD problems have gained much attention, most of which has been devoted to d...