415 search results - page 67 / 83 » A Model for Evaluating Materialized View Maintenance Algorit... |
CIKM
2007
Springer
15 years 5 months ago
2007
Springer
Dictionary-based approaches to query translation have been widely used in Cross-Language Information Retrieval (CLIR) experiments. Using these approaches, translation has been not...
112
click to vote
DAC
2003
ACM
16 years 19 days ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
IUI
2010
ACM
15 years 8 months ago
2010
ACM
In this paper, we present SmartCal, a calendar assistant that suggests appointment attributes, such as time, day, duration, etc., given any combination of initial user input attri...
104
click to vote
ICDE
2010
IEEE
15 years 6 months ago
2010
IEEE
Data anonymization techniques have been the subject of intense investigation in recent years, for many kinds of structured data, including tabular, item set and graph data. They e...
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
We present an over-segmentation based, dense stereo algorithm that jointly estimates segmentation and depth. For mixed pixels on segment boundaries, the algorithm computes foregro...