15421 search results - page 347 / 3085 » Dependability |
184
click to vote
ICFP
2010
ACM
15 years 8 months ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...
184
Voted
MIR
2010
ACM
15 years 7 months ago
2010
ACM
Ideally, one would like to perform image search using an intuitive and friendly approach. Many existing image search engines, however, present users with sets of images arranged i...
HAIS
2010
Springer
15 years 7 months ago
2010
Springer
195
click to vote
HICSS
2008
IEEE
15 years 7 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...