3547 search results - page 462 / 710 » Pseudo-Exhaustive Testing for Software |
193
click to vote
FUN
2010
Springer
15 years 11 months ago
2010
Springer
We propose a model for level-ups in Heroes of Might and Magic III, and give an O 1 ε2 ln 1 δ learning algorithm to estimate the probabilities of secondary skills induced by any ...
163
Voted
IWSSD
2000
IEEE
15 years 11 months ago
2000
IEEE
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...
146
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
This paper describes a series of experiments with a range of users to evaluate an intelligent interface for acquiring problem-solving knowledge to describe how to accomplish a tas...
160
click to vote
UIST
2000
ACM
15 years 11 months ago
2000
ACM
Existing devices for communicating information to computers are bulky, slow to use, or unreliable. Dasher is a new interface incorporating language modelling and driven by continu...
177
click to vote
AMAST
2000
Springer
15 years 11 months ago
2000
Springer
In this paper we investigate the object-oriented notion of subtyping in the context of behavioural formalisms. Subtyping in OOformalisms is closely related to the concept of inheri...