6960 search results - page 694 / 1392 » Continuity Analysis of Programs |
210
click to vote
ICIDS
2010
Springer
15 years 4 months ago
2010
Springer
Emohawk is a narrative-based serious game designed to be a supportive tool for teaching basics of virtual agents development at universities and high-schools. Emohawk is built util...
238
click to vote
AAMAS
2011
Springer
15 years 2 months ago
2011
Springer
How does one repeatedly choose actions so as to be fairest to the multiple beneficiaries of those actions? We examine approaches to discovering sequences of actions for which the...
200
click to vote
MP
2011
15 years 2 months ago
2011
Integer programs defined by two equations with two free integer variables and nonnegative continuous variables have three types of nontrivial facets: split, triangle or quadrilat...
194
click to vote
ICFP
2004
ACM
16 years 7 months ago
2004
ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...
202
click to vote
OOPSLA
2004
Springer
16 years 24 days ago
2004
Springer
It is difficult to write programs that behave correctly in the presence of run-time errors. Existing programming language features often provide poor support for executing clean-u...