Sciweavers

5671 search results - page 903 / 1135
» A Semantic Approach to Interpolation
Sort
View
ICDE
2007
IEEE
173views Database» more  ICDE 2007»
16 years 8 months ago
Annotating Structured Data of the Deep Web
An increasing number of databases have become Web accessible through HTML form-based search interfaces. The data units returned from the underlying database are usually encoded in...
Yiyao Lu, Hai He, Hongkun Zhao, Weiyi Meng, Clemen...
ICDE
2006
IEEE
124views Database» more  ICDE 2006»
16 years 8 months ago
C-Cubing: Efficient Computation of Closed Cubes by Aggregation-Based Checking
It is well recognized that data cubing often produces huge outputs. Two popular efforts devoted to this problem are (1) iceberg cube, where only significant cells are kept, and (2...
Dong Xin, Zheng Shao, Jiawei Han, Hongyan Liu
VIS
2009
IEEE
215views Visualization» more  VIS 2009»
16 years 7 months ago
BrainGazer - Visual Queries for Neurobiology Research
Abstract-- Neurobiology investigates how anatomical and physiological relationships in the nervous system mediate behavior. Molecular genetic techniques, applied to species such as...
Stefan Bruckner, Veronika Šoltészová, M. Edua...
ICPR
2004
IEEE
16 years 7 months ago
Incorporating Temporal Context with Content for Classifying Image Collections
Semantic scene classification is an open problem in image understanding, especially when information purely from image content (i.e., pixels) is employed. However, in applications...
Jiebo Luo, Matthew R. Boutell
SIGSOFT
2008
ACM
16 years 7 months ago
Modular verification of web services using efficient symbolic encoding and summarization
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan