5599 search results - page 463 / 1120 » Abstract State Services |
147
click to vote
FC
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The security of any computer system that is configured or operated by human beings critically depends on the information conveyed by the user interface, the decisions of...
177
click to vote
FMCAD
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
176
click to vote
IBERAMIA
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. In constraint satisfaction, a general rule is to tackle the hardest part of a search problem first. In this paper, we introduce a parameter (τ) that measures the constr...
175
click to vote
IPSN
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper describes two methodologies for performing distributed particle filtering in a sensor network. It considers the scenario in which a set of sensor nodes make m...
202
click to vote
CAEPIA
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. In recent years, particle filters have emerged as a useful tool that enables the application of Bayesian reasoning to problems requiring dynamic state estimation. The ef...