Sciweavers

9997 search results - page 461 / 2000
» The case for crowd computing
Sort
View
CHI
2005
ACM
16 years 7 months ago
Making space for stories: ambiguity in the design of personal communication systems
Pervasive personal communication technologies offer the potential for important social benefits for individual users, but also the potential for significant social difficulties an...
Paul M. Aoki, Allison Woodruff
RECOMB
2008
Springer
16 years 7 months ago
Limitations of Pseudogenes in Identifying Gene Losses
The loss of previously established genes has been proposed as a major force in evolutionary change. While the sequencing of many new species offers the opportunity to identify case...
James C. Costello, Mira V. Han, Matthew W. Hahn
SOFSEM
2009
Springer
16 years 3 months ago
Automatic Bug Detection in Microcontroller Software by Static Program Analysis
Microcontroller software typically consists of a few hundred lines of code only, but it is rather different from standard application code. The software is highly hardware and pla...
Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Micha...
BIRTHDAY
2009
Springer
16 years 1 months ago
A Semantical Account of Progression in the Presence of Defaults
In previous work, we proposed a modal fragment of the situation calculus called ES, which fully captures Reiter’s basic action theories. ES also has epistemic features, includin...
Gerhard Lakemeyer, Hector J. Levesque
ICST
2009
IEEE
16 years 1 months ago
A Simple Coverage-Based Locator for Multiple Faults
Fault localization helps spotting faults in source code by exploiting automatically collected data. Deviating from other fault locators relying on hit spectra or test coverage inf...
Friedrich Steimann, Mario Bertschler