812 search results - page 4 / 163 » A Complete Guide to the Future |
AMAST
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. We present a declarative debugger for Maude specifications that allows to debug wrong answers (a wrong result is obtained) and missing answers (a correct but incomplete r...
AIIDE
2007
13 years 9 months ago
2007
We explore the tradeoff between player autonomy and designer intent by simulating a system of autonomous museum tour guides. Visitors may have different art preferences or may wis...
CIDM
2007
IEEE
14 years 1 months ago
2007
IEEE
— We present K2GA, an algorithm for learning Bayesian network structures from data. K2GA uses a genetic algorithm to perform stochastic search, while employing a modified versio...
COMPSAC
2004
IEEE
13 years 10 months ago
2004
IEEE
Time/utility function time constraints (or TUFs) and utility accrual (UA) scheduling optimality criteria, constitute, arguably, the most effective and broadest approach for adapti...
HICSS
2007
IEEE
13 years 11 months ago
2007
IEEE
In recent years, Internet surveys have been widely used by researchers and companies as a means of data collection. However, few IS studies have discussed the validation of Intern...