177 search results - page 30 / 36 » Observation and Control for Debugging Distributed Computatio... |
CAV
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
ACL
2006
14 years 11 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...
ICONFERENCE
2011
14 years 3 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...
ACL
2006
14 years 11 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...
115
click to vote
RECOMB
2004
Springer
15 years 9 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 ...