291 search results - page 46 / 59 » Generating Unit Tests from Formal Proofs |
91
Voted
UAI
2008
14 years 11 months ago
2008
We present a generative model for representing and reasoning about the relationships among events in continuous time. We apply the model to the domain of networked and distributed...
AIPS
2003
14 years 11 months ago
2003
We propose a framework for policy generation in continuoustime stochastic domains with concurrent actions and events of uncertain duration. We make no assumptions regarding the co...
AAAI
2007
14 years 12 months ago
2007
Much of artificial intelligence research is focused on devising optimal solutions for challenging and well-defined but highly constrained problems. However, as we begin creating...
DAC
2007
ACM
15 years 1 months ago
2007
ACM
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...
DIGRA
2005
Springer
15 years 3 months ago
2005
Springer
Interactive story writing is a new medium for creative expression. The story “writer” uses a computer game (such as BioWare’s Neverwinter Nights) to create an interactive st...