14244 search results - page 662 / 2849 » Modeling Program Predictability |
191
click to vote
AICT
2006
IEEE
16 years 1 months ago
2006
IEEE
A software application has strong relationships with the business processes it supports. In the analysis phase those parts of the processes in which the software system is applied...
203
click to vote
CP
2005
Springer
16 years 20 days ago
2005
Springer
In this paper we show how Constraint Programming (CP) techniques can improve the efficiency and applicability of grid-based algorithms for optimising surface contact between comple...
237
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
207
click to vote
LREC
2010
15 years 8 months ago
2010
We present Witchcraft, an open-source framework for the evaluation of prediction models for spoken dialogue systems based on interaction logs and audio recordings. The use of Witc...
155
click to vote
ENTCS
2007
15 years 7 months ago
2007
The Mono Model Checker (mmc) is a software model checker for cil bytecode programs. mmc has been developed on the Mono platform. mmc is able to detect deadlocks and assertion viol...