2016 search results - page 306 / 404 » Distributed error confinement |
107
click to vote
CONCUR
2007
Springer
15 years 11 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...
114
click to vote
PERVASIVE
2007
Springer
15 years 11 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 ...
122
click to vote
PKDD
2007
Springer
15 years 11 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...
138
click to vote
PVM
2007
Springer
15 years 11 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...
134
Voted
SSS
2007
Springer
15 years 11 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...