3256 search results - page 621 / 652 » Applications of Formal Methods to System Design and Verifica... |
101
Voted
HIPC
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. Recent times have seen an explosive growth in the availability of various kinds of data. It has resulted in an unprecedented opportunity to develop automated data-driven ...
VISUAL
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. Trademark image retrieval is becoming an important application for logo registry, veri cation, and design. There are two major problems about the current approaches to tr...
89
Voted
CIKM
1997
Springer
15 years 1 months ago
1997
Springer
: In the context of knowledge management, we focus on the representation and the retrieval of past experiences called cases within the Case-Based Reasoning (CBR) paradigm. CBR is a...
DASFAA
2004
IEEE
15 years 1 months ago
2004
IEEE
Abstract. The efficient management of interval sequences represents a core requirement for many temporal and spatial database applications. With the Relational Interval Tree (RI-tr...
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
Future Systems-on-Chips will include multiple heterogeneous processing units, with complex data-dependent shared resource access patterns dictating the performance of a design. Cu...