Sciweavers

4224 search results - page 701 / 845
» Reasoning about Choice
Sort
View
96
Voted
FSS
2008
87views more  FSS 2008»
15 years 27 days ago
Higher order models for fuzzy random variables
A fuzzy random variable is viewed as the imprecise observation of the outcomes in a random experiment. Since randomness and vagueness coexist in the same framework, it seems reaso...
Inés Couso, Luciano Sánchez
IANDC
2008
120views more  IANDC 2008»
15 years 27 days ago
A framework for compositional verification of security protocols
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
Suzana Andova, Cas J. F. Cremers, Kristian Gj&osla...
IEE
2008
115views more  IEE 2008»
15 years 26 days ago
Faithful mapping of model classes to mathematical structures
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
Ádám Darvas, Peter Müller
118
Voted
COGSCI
2006
127views more  COGSCI 2006»
15 years 26 days ago
Decision Making and Confidence Given Uncertain Advice
We study human decision making in a simple forced-choice task that manipulates the frequency and accuracy of available information. Empirically, we find that people make decisions...
Michael D. Lee, Matthew J. Dry
75
Voted
IJIM
2008
60views more  IJIM 2008»
15 years 25 days ago
The Role of Podcasts in Students' Learning
Podcasts have been employed extensively in some countries and are now being trialed at a number of universities in Australia. They allow ubiquitous learning whereby students can ac...
Laurel Evelyn Dyson