5128 search results - page 250 / 1026 » When Abstraction Fails |
177
click to vote
ICWS
2009
IEEE
16 years 4 months ago
2009
IEEE
ite Web service designed based on abstract Web services, which define only interfaces, allows an application developer to select services required for his application only by set...
170
click to vote
ALT
2005
Springer
16 years 4 months ago
2005
Springer
U-shaped learning behaviour in cognitive development involves learning, unlearning and relearning. It occurs, for example, in learning irregular verbs. The prior cognitive science...
176
click to vote
TCC
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. We consider weakly-verifiable puzzles which are challengeresponse puzzles such that the responder may not be able to verify for itself whether it answered the challenge ...
206
click to vote
TACAS
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...
205
click to vote
AMMA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present Turing Trade, a web-based game that is a hybrid of a Turing test and a prediction market. In this game, there is a mystery conversation partner, the “target,...