7289 search results - page 78 / 1458 » A Dependent Set Theory |
HICSS
2008
IEEE
13 years 8 months ago
2008
IEEE
This study investigates how consumers evaluate a product when they read conflicting online consumer reviews of evaluations from previous consumers. If consumers are rational, as i...
ATAL
2011
Springer
12 years 8 months ago
2011
Springer
We propose that the trust an agent places in another agent declaratively captures an architectural connector between the two agents. We formulate trust as a generic modality expre...
Book
"Constructive Type theory has been a topic of research interest to computer
scientists, mathematicians, logicians and philosophers for a number of years.
For computer scient...
ICFP
2006
ACM
14 years 8 months ago
2006
ACM
In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...
EOR
2008
13 years 8 months ago
2008
The paper presents the author's partial and personal historical reconstruction of how decision theory is evolving to a decision aiding methodology. The presentation shows mai...