914 search results - page 122 / 183 » Design spaces: The explicit representation of spaces of alte... |
FTCS
1998
14 years 11 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
WOSP
2010
ACM
14 years 10 months ago
2010
ACM
Quantitative prediction of quality properties (i.e. extrafunctional properties such as performance, reliability, and cost) of software architectures during design supports a syste...
ICIP
2004
IEEE
15 years 11 months ago
2004
IEEE
The MPEG-7 dominant color descriptor (DCD) is an effective, compact, and intuitive representation of salient colors in an image region and is very useful for contentbased image re...
126
click to vote
ICDE
2010
IEEE
15 years 9 months ago
2010
IEEE
The Voronoi diagram is an important technique for answering nearest-neighbor queries for spatial databases. In this paper, we study how the Voronoi diagram can be used on uncertain...
ICML
2009
IEEE
15 years 4 months ago
2009
IEEE
Physics-based simulation codes are widely used in science and engineering to model complex systems that would be infeasible to study otherwise. Such codes provide the highest-fid...