4894 search results - page 85 / 979 » Choices |
163
click to vote
MHCI
2007
Springer
16 years 5 days ago
2007
Springer
In this demonstration, we present a system that enables users to easily generate quizzes for mobile devices. With our program, they can create multiple choice tests and general qu...
148
click to vote
ACSD
2006
IEEE
16 years 4 days ago
2006
IEEE
A schedule of a Petri Net (PN) represents a set of firing sequences that can be infinitely repeated within a bounded state space, regardless of the outcomes of the nondeterminis...
176
click to vote
SEW
2006
IEEE
16 years 2 days ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
135
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
This paper compares the expressiveness of ambient calculi against different dialects of the pi-calculus. Cardelli and Gordon encoded the asynchronous pi-calculus into their calcul...
163
click to vote
SBP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. There is much empirical evidence that human decisionmaking under risk does not correspond the decision-theoretic notion of “rational” decision making, namely to make ...