Sciweavers

546 search results - page 62 / 110
» About Face
Sort
View
DAC
2000
ACM
16 years 23 days ago
Formal verification of iterative algorithms in microprocessors
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
Mark Aagaard, Robert B. Jones, Roope Kaivola, Kath...
ISBI
2006
IEEE
16 years 15 days ago
Towards automated bioimage analysis: from features to semantics
Recent advances in bio-molecular imaging have afforded biologists a more thorough understanding of cellular functions in complex tissue structures. For example, high resolution fl...
B. S. Manjunath, Baris Sumengen, Zhiqiang Bi, Jiyu...
CCS
2009
ACM
16 years 12 days ago
Confidentiality-preserving distributed proofs of conjunctive queries
Distributed proof construction protocols have been shown to be valuable for reasoning about authorization decisions in open distributed environments such as pervasive computing sp...
Adam J. Lee, Kazuhiro Minami, Nikita Borisov
KDD
2006
ACM
129views Data Mining» more  KDD 2006»
16 years 6 days ago
Bias and controversy: beyond the statistical deviation
In this paper, we investigate how deviation in evaluation activities may reveal bias on the part of reviewers and controversy on the part of evaluated objects. We focus on a `data...
Hady Wirawan Lauw, Ee-Peng Lim, Ke Wang
CHI
2007
ACM
16 years 6 days ago
Environmental sustainability and interaction
By its nature, the discipline of human computer interaction must take into consideration the issues that are most pertinent to humans. We believe that the CHI community faces an u...
Jennifer Mankoff, Eli Blevis, Alan Borning, Batya ...