Sciweavers

1073 search results - page 71 / 215
» Reasoning about Continuous Processes
Sort
View
108
Voted
LISP
2007
98views more  LISP 2007»
15 years 2 months ago
A static simulation of dynamic delimited control
We present a continuation-passing-style (CPS) transformation for some dynamic delimited-control operators, including Felleisen’s control and prompt, that extends a standard call-...
Chung-chieh Shan
114
Voted
FDG
2009
ACM
15 years 9 months ago
A requirements analysis for videogame design support tools
Designing videogames involves weaving together systems of rules, called game mechanics, which support and structure compelling player experiences. Thus a significant portion of ga...
Mark J. Nelson, Michael Mateas
NIPS
2008
15 years 4 months ago
Load and Attentional Bayes
Selective attention is a most intensively studied psychological phenomenon, rife with theoretical suggestions and schisms. A critical idea is that of limited capacity, the allocat...
Peter Dayan
126
Voted
ESWS
2006
Springer
15 years 6 months ago
Encoding Classifications into Lightweight Ontologies
Classifications have been used for centuries with the goal of cataloguing and searching large sets of objects. In the early days it was mainly books; lately it has also become Web ...
Fausto Giunchiglia, Maurizio Marchese, Ilya Zaihra...
130
Voted
AIR
2005
122views more  AIR 2005»
15 years 2 months ago
Retrieval Failure and Recovery in Recommender Systems
In case-based reasoning (CBR) approaches to product recommendation, descriptions of the available products are stored in a case library and retrieved in response to a query represe...
David McSherry