Sciweavers

1701 search results - page 187 / 341
» Computer Science and State Machines
Sort
View
TCS
2010
14 years 8 months ago
A trajectory-based strict semantics for program slicing
We define a program semantics that is preserved by dependence-based slicing algorithms. It is a natural extension, to non-terminating programs, of the semantics introduced by Wei...
Richard W. Barraclough, David Binkley, Sebastian D...
94
Voted
DIS
2009
Springer
14 years 8 months ago
Player Modeling for Intelligent Difficulty Adjustment
In this paper we aim at automatically adjusting the difficulty of computer games by clustering players into different types and supervised prediction of the type from short traces ...
Olana Missura, Thomas Gärtner
CSCW
2011
ACM
14 years 5 months ago
Three sequential positions of query repair in interactions with internet search engines
Internet search engines display understanding or misunderstanding of user intent in and through the particular batches of results they retrieve and their perceived relevance. Yet ...
Robert J. Moore, Elizabeth F. Churchill, Raj Gopal...
75
Voted
FOCS
2005
IEEE
15 years 3 months ago
Learning mixtures of product distributions over discrete domains
We consider the problem of learning mixtures of product distributions over discrete domains in the distribution learning framework introduced by Kearns et al. [18]. We give a poly...
Jon Feldman, Ryan O'Donnell, Rocco A. Servedio
AC
2008
Springer
14 years 10 months ago
DARPA's HPCS Program- History, Models, Tools, Languages
The historical context surrounding the birth of the DARPA High Productivity Computing Systems (HPCS) program is important for understanding why federal government agencies launche...
Jack Dongarra, Robert Graybill, William Harrod, Ro...