Sciweavers

7778 search results - page 1211 / 1556
» Designing Controllers for Reachability
Sort
View
PPDP
2009
Springer
15 years 11 months ago
Set functions for functional logic programming
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
Sergio Antoy, Michael Hanus
SGAI
2009
Springer
15 years 11 months ago
Explaining How to Play Real-Time Strategy Games
Real-time strategy games share many aspects with real situations in domains such as battle planning, air traffic control, and emergency response team management which makes them a...
Ronald A. Metoyer, Simone Stumpf, Christoph Neuman...
CANDC
2009
ACM
15 years 11 months ago
Children's storytelling and programming with robotic characters
We introduce mixed physical and digital authoring environments for children, which invite them to create stories with enriched drawings that are programmed to control robotic char...
Kimiko Ryokai, Michael Jongseon Lee, Jonathan Mica...
130
Voted
FDG
2009
ACM
15 years 11 months ago
Games for passengers: accounting for motion in location-based applications
Passengers pay attention to the landscape as they move through the environment. We suggest a new type of applications, which adds to that experience. It consider their motion and ...
Liselott Brunnberg, Oskar Juhlin, Anton Gustafsson
158
Voted
GROUP
2009
ACM
15 years 11 months ago
Two peers are better than one: aggregating peer reviews for computing assignments is surprisingly accurate
Scientific peer review, open source software development, wikis, and other domains use distributed review to improve quality of created content by providing feedback to the work...
Ken Reily, Pam Ludford Finnerty, Loren G. Terveen
« Prev « First page 1211 / 1556 Last » Next »