4725 search results - page 771 / 945 » Dependence-Based Program Analysis |
176
click to vote
PEPM
2010
ACM
15 years 6 months ago
2010
ACM
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
132
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
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...
168
click to vote
AAAI
2006
15 years 6 months ago
2006
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...
172
click to vote
BIOCOMP
2006
15 years 6 months ago
2006
: A novel, non-touch, screen pointing "magic wand" interface is proposed for surgeon's use in an environment requiring simultaneous display of several patients'...
161
click to vote
WCE
2007
15 years 6 months ago
2007
—Multistage stochastic programs are effective for solving long-term planning problems under uncertainty. Such programs are usually based on scenario generation model about future...