Sciweavers

4894 search results - page 83 / 979
» Choices
Sort
View
ENTCS
1998
115views more  ENTCS 1998»
15 years 5 months ago
A Testing Equivalence for Reactive Probabilistic Processes
We consider a generalisation of Larsen and Skou’s [19] reactive probabilistic transition systems which exhibit three kinds of choice: action-guarded probabilistic choice, extern...
Marta Z. Kwiatkowska, Gethin Norman
AAMAS
2011
Springer
15 years 1 months ago
Alternatives to truthfulness are hard to recognize
Abstract. The central question in mechanism design is how to implement a given social choice function. One of the most studied concepts is that of truthful implementations in which...
Vincenzo Auletta, Paolo Penna, Giuseppe Persiano, ...
ICPR
2006
IEEE
16 years 7 months ago
The Twin Towers Cluster in Torah Codes
In this paper we describe a Torah Code experiment which: ? Focuses on a famous contemporary event. ? Has a simple and explicit data collection. ? Has considerably simpler measurem...
Eliyahu Rips, Art Levitt
CHI
2007
ACM
16 years 6 months ago
Towards a tool for predicting user exploration
CogTool-Explorer is a tool to predict user exploration choices given a user interface and task. We describe the integration of components that make up CogToolExplorer, and how it ...
Leonghwee Teo, Bonnie E. John, Peter Pirolli
CHI
2007
ACM
16 years 6 months ago
Rating, voting & ranking: designing for collaboration & consensus
The OpenChoice system, currently in development, is an open source, open access community rating and filtering service that would improve upon the utility of currently available W...
Don Turnbull