7751 search results - page 1463 / 1551 » Data streams: algorithms and applications |
204
Voted
SIGMOD
2009
ACM
16 years 24 days ago
2009
ACM
Ontology matching, aiming to obtain semantic correspondences between two ontologies, has played a key role in data exchange, data integration and metadata management. Among numero...
97
Voted
ICFP
2007
ACM
16 years 16 days ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
99
Voted
IUI
2010
ACM
15 years 9 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...
117
Voted
ISPD
2010
ACM
15 years 7 months ago
2010
ACM
Thermal/power issues have become increasingly important with more and more transistors being put on a single chip. Many dynamic thermal/power management techniques have been propo...
111
Voted
ICAIL
2009
ACM
15 years 7 months ago
2009
ACM
Automatic Decision Support Systems (DSS) are widely adopted for screening purposes in socially sensitive tasks, including access to credit, mortgage, insurance, labor market and o...