3224 search results - page 262 / 645 » Abstract Error Projection |
205
click to vote
ECOOP
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. An active area of research in computer science is the prevention of violations of object protocols, i.e., restrictions on temporal orderings of method calls on an object....
223
click to vote
DCOSS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We develop a practical, distributed algorithm to detect events, identify measurement errors, and infer missing readings in ecological applications of wireless sensor netw...
169
click to vote
SBIA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Most of the work in machine learning assume that examples are generated at random according to some stationary probability distribution. In this work we study the problem...
206
Voted
TSP
2010
15 years 1 months ago
2010
Abstract--This work studies the near-optimality versus the complexity of distributed configuration management for wireless networks. We first develop a global probabilistic graphic...
294
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...