3007 search results - page 283 / 602 » Designing for collective remembering |
154
Voted
DAC
1995
ACM
15 years 9 months ago
1995
ACM
Abstract A new method for power estimation in sequential circuits is presented that is based on a statistical estimation technique. By applying randomly generated input sequences t...
126
Voted
WSC
2007
15 years 8 months ago
2007
Primary care providers (PCPs) provide the majority of care patients receive during their lifetime. We consider the problem of determining the size and composition of physician pan...
194
click to vote
ACMACE
2008
ACM
15 years 7 months ago
2008
ACM
Recently several researchers have developed augmented reality books which involve overlaying virtual content onto the pages of a real book. In this paper, we extend this general c...
190
click to vote
AMAST
2008
Springer
15 years 7 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
137
Voted
ASWC
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In this paper we discuss the challenges of performing reasoning on large scale RDF datasets from the Web. We discuss issues and practical solutions relating to reasoning ...