6800 search results - page 1007 / 1360 » Testing with Functions as Specifications |
193
click to vote
IJCAI
1989
15 years 7 months ago
1989
Mechanical systems, of the kinds which are of interest for qualitative reasoning, are characterized by a set of real-valued parameters, each of which is a piecewise continuous fun...
204
click to vote
SPLC
2007
15 years 7 months ago
2007
Product lines need decision models that guide the derivation of product variants satisfying specific requirements. In dynamic product lines, whose requirements vary during runtime...
161
click to vote
AIPS
2009
15 years 7 months ago
2009
abstraction heuristics, notably pattern-database and merge-and-shrink heuristics, are employed by some state-ofthe-art optimal heuristic-search planners. The major limitation of t...
185
click to vote
AAAI
2010
15 years 7 months ago
2010
Diffusion processes taking place in social networks are used to model a number of phenomena, such as the spread of human or computer viruses, and the adoption of products in `vira...
168
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
In this paper we study, for the first time explicitly, the implications of endowing an interested party (i.e. a teacher) with the ability to modify the underlying dynamics of the ...