Sciweavers

3244 search results - page 557 / 649
» Extensions to Description Logics
Sort
View
ICDE
1999
IEEE
151views Database» more  ICDE 1999»
15 years 11 months ago
Data Integration by Describing Sources with Constraint Databases
We develop a data integration approach for the efficient evaluation of queries over autonomous source databases. The approach is based on some novel applications and extensions of...
Xun Cheng, Guozhu Dong, Tzekwan Lau, Jianwen Su
DAC
2007
ACM
15 years 11 months ago
Automatic Verification of External Interrupt Behaviors for Microprocessor Design
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...
Fu-Ching Yang, Wen-Kai Huang, Ing-Jer Huang
74
Voted
RECOMB
2002
Springer
15 years 10 months ago
Monotony of surprise and large-scale quest for unusual words
The problem of characterizing and detecting recurrent sequence patterns such as substrings or motifs and related associations or rules is variously pursued in order to compress da...
Alberto Apostolico, Mary Ellen Bock, Stefano Lonar...
110
Voted
CVPR
2010
IEEE
15 years 6 months ago
Tag-based Web Photo Retrieval Improved by Batch Mode Re-Tagging
Web photos in social media sharing websites such as Flickr are generally accompanied by rich but noisy textual descriptions (tags, captions, categories, etc.). In this paper, we p...
Lin Chen, Dong Xu, Wai-Hung Tsang, Jiebo Luo
GTTSE
2007
Springer
15 years 4 months ago
Model Transformations for the Compilation of Multi-processor Systems-on-Chip
With the increase of amount of transistors which can be contained on a chip and the constant expectation for more sophisticated applications, the design of Systems-on-Chip (SoC) is...
Éric Piel, Philippe Marquet, Jean-Luc Dekey...