Sciweavers

920 search results - page 92 / 184
» Generating Satisfiable Problem Instances
Sort
View
PVLDB
2008
82views more  PVLDB 2008»
15 years 5 days ago
STBenchmark: towards a benchmark for mapping systems
A fundamental problem in information integration is to precisely specify the relationships, called mappings, between schemas. Designing mappings is a time-consuming process. To al...
Bogdan Alexe, Wang Chiew Tan, Yannis Velegrakis
205
Voted
ICDE
2008
IEEE
176views Database» more  ICDE 2008»
16 years 2 months ago
Automatic Result Verification for the Functional Testing of a Query Language
Functional testing of a query language is a challenging task in practice. In order to reveal errors in the query processing functionality, it is necessary to verify the actual res...
Carsten Binnig, Donald Kossmann, Eric Lo, Angel Sa...
98
Voted
CSB
2004
IEEE
149views Bioinformatics» more  CSB 2004»
15 years 4 months ago
Weighting Features to Recognize 3D Patterns of Electron Density in X-Ray Protein Crystallography
Feature selection and weighting are central problems in pattern recognition and instance-based learning. In this work, we discuss the challenges of constructing and weighting feat...
Kreshna Gopal, Tod D. Romo, James C. Sacchettini, ...
104
Voted
COMPSAC
2010
IEEE
14 years 7 months ago
Metamodel Recovery from Multi-tiered Domains Using Extended MARS
With the rapid development of model-driven engineering (MDE), domain-specific modeling has become a widely used software development technique. In MDE, metamodels represent a schem...
Qichao Liu, Barrett R. Bryant, Marjan Mernik
ICIP
2005
IEEE
16 years 2 months ago
Video summarization for multiple path communication
For video communications over wireless ad hoc networks, multiple paths with limited bandwidth are common. It therefore presents new challenges to the video encoding. In this paper...
Zhu Li, Guido M. Schuster, Aggelos K. Katsaggelos