3342 search results - page 640 / 669 » Symbolic Robustness Analysis |
117
click to vote
ESOP
2005
Springer
15 years 7 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
147
click to vote
IBPRIA
2005
Springer
15 years 7 months ago
2005
Springer
The ability of finding its situation in a given environment is crucial for an autonomous agent. While navigating through a space, a mobile robot must be capable of finding its lo...
105
click to vote
KDD
2005
ACM
15 years 7 months ago
2005
ACM
Data clustering represents an important tool in exploratory data analysis. The lack of objective criteria render model selection as well as the identification of robust solutions...
138
click to vote
VLDB
2005
ACM
15 years 7 months ago
2005
ACM
In recent years, the wide availability of personal data has made the problem of privacy preserving data mining an important one. A number of methods have recently been proposed fo...
101
click to vote
ASPDAC
2004
ACM
15 years 7 months ago
2004
ACM
— Robust power distribution within available routing area resources is critical to chip performance and reliability. In this paper, we propose a novel and efficient method for o...