2016 search results - page 306 / 404 » Distributed error confinement |
CONCUR
2007
Springer
14 years 2 months ago
2007
Springer
Games via Three-Valued Abstraction Refinement Luca de Alfaro, Pritam Roy PII: S0890-5401(10)00018-0 DOI: 10.1016/j.ic.2009.05.007 Reference: YINCO 3711 To appear in: Information an...
PERVASIVE
2007
Springer
14 years 2 months ago
2007
Springer
Ground reaction forces generated during normal walking have recently been used to identify and/or classify individuals based upon the pattern of the forces observed over time. One ...
PKDD
2007
Springer
14 years 2 months ago
2007
Springer
The goal in domain adaptation is to train a model using labeled data sampled from a domain different from the target domain on which the model will be deployed. We exploit unlabel...
PVM
2007
Springer
14 years 2 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
SSS
2007
Springer
14 years 2 months ago
2007
Springer
We introduce a new abstract system, called the truth system. In the truth system, a process deduces a true value, with high probability, from an incoming stream of both true and fa...