1034 search results - page 183 / 207 » Importance-Driven Focus of Attention |
CIDM
2007
IEEE
14 years 5 months ago
2007
IEEE
— In this paper, we consider burst detection within the context of privacy. In our scenario, multiple parties want to detect a burst in aggregated time series data, but none of t...
IV
2007
IEEE
14 years 5 months ago
2007
IEEE
Geovisualization (GeoViz) is an intrinsically complex process. The analyst needs to look at data from various perspectives and at various scales, from “seeing the whole” to ...
ISSTA
2006
ACM
14 years 4 months ago
2006
ACM
Software product line modeling has received a great deal of attention for its potential in fostering reuse of software artifacts across development phases. Research on the testing...
CHARME
2005
Springer
14 years 4 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
SAT
2005
Springer
14 years 4 months ago
2005
Springer
Much attention has been given in recent years to the problem of finding Minimally Unsatisfiable Subformulas (MUSes) of Boolean formulas. In this paper, we present a new view of the...