10159 search results - page 1637 / 2032 » System Design Validation Using Formal Models |
291
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Aggregation is among the core functionalities of OLAP systems. Frequently, such queries are issued in decision support systems to identify interesting groups of data. When more tha...
236
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Scalable image retrieval systems usually involve hierarchical quantization of local image descriptors, which produces a visual vocabulary for inverted indexing of images. Although ...
214
Voted
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Using off-the-shelf commodity workstations and PCs to build a cluster for parallel computing has become a common practice. A choice of a cost-effective cluster computing platform ...
214
click to vote
ARTMED
2004
15 years 6 months ago
2004
Previous research has indicated the significance of accurate classification of fluorescence in situ hybridisation (FISH) signals for the detection of genetic abnormalities. Based ...
198
click to vote
SLOGICA
2008
15 years 6 months ago
2008
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...