177 search results - page 30 / 36 » Observation and Control for Debugging Distributed Computatio... |
96
Voted
CAV
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
98
Voted
ACL
2006
15 years 3 months ago
2006
It has previously been assumed in the psycholinguistic literature that finite-state models of language are crucially limited in their explanatory power by the locality of the prob...
126
click to vote
ICONFERENCE
2011
14 years 8 months ago
2011
In this paper, we present findings from a qualitative study of producers in a specific creative domain—online digital photography. We used social psychology and linguistic conce...
106
Voted
ACL
2006
15 years 3 months ago
2006
It has previously been assumed in the psycholinguistic literature that finite-state models of language are crucially limited in their explanatory power by the locality of the prob...
156
Voted
RECOMB
2004
Springer
16 years 2 months ago
2004
Springer
In situ staining of a target mRNA at several time points during the development of a D. melanogaster embryo gives one a detailed spatio-temporal view of the expression pattern of ...