423 search results - page 11 / 85 » Specifying Strategies for Exercises |
ACMACE
2009
ACM
15 years 4 months ago
2009
ACM
Active games are video games that involve physical activity. Active games capture input via a variety of devices such as accelerometers, cameras, pressure sensors and exercise equ...
101
click to vote
SIGSOFT
2006
ACM
15 years 3 months ago
2006
ACM
Unit test cases are focused and efficient. System tests are effective at exercising complex usage patterns. Differential unit tests (DUT) are a hybrid of unit and system tests. T...
CONCUR
2007
Springer
15 years 4 months ago
2007
Springer
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...
VLDB
1991
ACM
15 years 1 months ago
1991
ACM
In order to cope efficiently with simple or complex queries as well as different application requirements (e.g., ad-hoc versus repetitive queries), a query optimizer ought to supp...
AI
2004
Springer
14 years 9 months ago
2004
Springer
This paper deals with the problem of designing a strategy profile which will enable collaborative interaction between agents. In particular, we consider the problem of information...