5012 search results - page 434 / 1003 » Distributed Error Correction |
162
click to vote
SPIN
2005
Springer
16 years 8 days ago
2005
Springer
We present ETCH, an enhanced type checking tool for the Promela language. This tool uses standard type checking in conjunction with constraint-based type inference to detect type e...
148
click to vote
WABI
2005
Springer
16 years 8 days ago
2005
Springer
We present several new results pertaining to haplotyping. The first set of results concerns the combinatorial problem of reconstructing haplotypes from incomplete and/or imperfect...
157
click to vote
ATAL
2004
Springer
16 years 5 days ago
2004
Springer
We consider the problem of finding a commonly agreed upon diagnosis for errors observed in a system monitored by a number of different expert agents. Each agent is assumed to hav...
181
click to vote
ISAAC
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We study the problem of maintaining a (1+ )-factor approximation of the diameter of a stream of points under the sliding window model. In one dimension, we give a simple ...
141
click to vote
DATE
2003
IEEE
16 years 2 days ago
2003
IEEE
Predicting the residual energy of the battery source that powers a portable electronic device is quite important in designing and employing an effective dynamic power management p...