Sciweavers

1682 search results - page 292 / 337
» Applying Conventional Testing Techniques for Class Testing
Sort
View
DEXA
2000
Springer
75views Database» more  DEXA 2000»
15 years 8 months ago
View Selection in OLAP Environment
To select some "valuable" views for materialization is an essential challenge in OLAP system design. Several techniques proposed previously are not very scalable for syst...
Shi Guang Qiu, Tok Wang Ling
155
Voted
IDA
1999
Springer
15 years 7 months ago
Reasoning about Input-Output Modeling of Dynamical Systems
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...
Matthew Easley, Elizabeth Bradley
131
Voted
ICIP
1998
IEEE
15 years 7 months ago
Multiple-Description Wavelet based Image Coding
Abstract--We consider the problem of coding images for transmission over error-prone channels. The impairments we target are transient channel shutdowns, as would occur in a packet...
Sergio D. Servetto, Kannan Ramchandran, Vinay A. V...
134
Voted
VLDB
1997
ACM
141views Database» more  VLDB 1997»
15 years 7 months ago
Efficient User-Adaptable Similarity Search in Large Multimedia Databases
Efficient user-adaptable similarity search more and more increases in its importance for multimedia and spatial database systems. As a general similarity model for multi-dimension...
Thomas Seidl, Hans-Peter Kriegel
GLVLSI
2007
IEEE
151views VLSI» more  GLVLSI 2007»
15 years 7 months ago
Hand-in-hand verification of high-level synthesis
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
Chandan Karfa, Dipankar Sarkar, Chittaranjan A. Ma...