3108 search results - page 318 / 622 » The Elements of Computer Credibility |
179
click to vote
ECIR
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Retrieving semistructured (XML) data typically requires either a structured query such as XPath, or a keyword query that does not take structure into account. In this pap...
151
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
— This paper looks at designing circuit elements that will be constructed with nanoscale magnets within the Quantum-dot Cellular Automata (QCA) computational paradigm. In magneti...
159
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
Although group support systems (GSS) can potentially have tremendous impacts in helping to solve the challenges faced by organizations and societies today, research to date has pr...
173
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
140
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— We study averaging algorithms, when implemented in large networks of wirelessly connected elements. We extend the notion of “Increasing Correctness” (IC) which was ...