598 search results - page 72 / 120 » Efficient and User-Friendly Verification |
ICDE
2009
IEEE
13 years 8 months ago
2009
IEEE
When merging data from various sources, it is often the case that small variations in data format and interpretation cause traditional functional dependencies (FDs) to be violated,...
SIGMOD
2007
ACM
14 years 11 months ago
2007
ACM
Graphs are prevalently used to model the relationships between objects in various domains. With the increasing usage of graph databases, it has become more and more demanding to e...
NOSSDAV
2005
Springer
14 years 4 months ago
2005
Springer
Wireless Network Interface (WNI) is one of the most critical components for power efficiency in multimedia streaming to mobile devices. A common strategy to save power is to switc...
ICFP
2010
ACM
13 years 12 months ago
2010
ACM
Partial evaluation aims to improve the efficiency of a program by specialising it with respect to some known inputs. In this paper, we show that partial evaluation can be an effec...
CVPR
2005
IEEE
15 years 24 days ago
2005
IEEE
We describe how certain tasks in the audio domain can be effectively addressed using computer vision approaches. This paper focuses on the problem of music identification, where t...