1192 search results - page 60 / 239 » Computing Weakest Readings |
100
click to vote
DEXA
1998
Springer
15 years 4 months ago
1998
Springer
We discuss and prove the correctness of a transaction model for mobile computing. In our transaction model, we incorporate a prewrite operation (before a write) which does not upda...
100
click to vote
GG
2010
Springer
15 years 28 days ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
WABI
2007
Springer
15 years 6 months ago
2007
Springer
Graph-theoretic models have come to the forefront as some of the most powerful and practical methods for sequence assembly. Simultaneously, the computational hardness of the underl...
109
click to vote
NIME
2005
Springer
15 years 5 months ago
2005
Springer
Musicians and composers have been using brainwaves as generative sources in music for at least 40 years and the possibility of a brain-computer interface for direct communication ...
MM
2010
ACM
15 years 1 days ago
2010
ACM
Human Visual attention (HVA) is an important strategy to focus on specific information while observing and understanding visual stimuli. HVA involves making a series of fixations ...