Sciweavers

1106 search results - page 140 / 222
» Toward interactive statistical modeling
Sort
View
123
Voted
CHI
2010
ACM
15 years 10 months ago
iCanDraw: using sketch recognition and corrective feedback to assist a user in drawing human faces
When asked to draw, many people are hesitant because they consider themselves unable to draw well. This paper describes the first system for a computer to provide direction and fe...
Daniel Dixon, Manoj Prasad, Tracy Hammond
ECAL
2007
Springer
15 years 7 months ago
Evolution of Cooperation in a Population of Selfish Adaptive Agents
Often the selfish and strong are believed to be favored by natural selection, even though cooperative interactions thrive at all levels of organization in living systems. Recent em...
Jorge M. Pacheco, Tom Lenaerts, Francisco C. Santo...
CASSIS
2004
Springer
15 years 7 months ago
Verification of Safety Properties in the Presence of Transactions
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
Reiner Hähnle, Wojciech Mostowski
DSVIS
2008
Springer
15 years 5 months ago
Resources for Situated Actions
In recent years, advances in software tools have made it easier to analyze interactive system specifications, and the range of their possible behaviors. However, the effort involve...
Gavin J. Doherty, José Creissac Campos, Mic...
COMPLEXITY
2007
151views more  COMPLEXITY 2007»
15 years 4 months ago
From complex conflicts to stable cooperation: Cases in environment and security
: Conflict is a dynamic and complex form of human interaction, often emerging from incompatible actions, values and goals, and consuming a considerable amount of resources. Conflic...
Jürgen Scheffran, Bruce Hannon