4211 search results - page 691 / 843 » A formal approach to MASQ |
169
click to vote
FDG
2009
ACM
16 years 1 months ago
2009
ACM
We present a rhythm-based method for the automatic generation of levels for 2D platformers, where the rhythm is that which the player feels with his hands while playing. Levels ar...
171
click to vote
ICAIL
2009
ACM
16 years 1 months ago
2009
ACM
Throughout its history, AI researchers have alternatively seen their mission as producing computer behavior that is indistinguishable from that of humans or as providing computati...
169
click to vote
KCAP
2009
ACM
16 years 1 months ago
2009
ACM
Workflows are becoming an increasingly more common paradigm to manage scientific analyses. As workflow repositories start to emerge, workflow retrieval and discovery becomes a cha...
150
click to vote
RECSYS
2009
ACM
16 years 1 months ago
2009
ACM
We examine the case of over-specialization in recommender systems, which results from returning items that are too similar to those previously rated by the user. We propose Outsid...
152
click to vote
DATE
2008
IEEE
16 years 29 days ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...