11121 search results - page 156 / 2225 » Computing with Continuous Change |
144
click to vote
DEXA
2010
Springer
15 years 2 months ago
2010
Springer
Nowadays, many applications are interested in detecting and discovering changes on the web to help users to understand page updates and more generally, the web dynamics. Web archiv...
126
Voted
ISCA
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a hardware-based dynamic optimizer that continuously optimizes an application’s instruction stream. In continuous optimization, dataflow optimizations are p...
136
Voted
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
This paper studies continuity of the normal form and the context operators as functions in the infinitary lambda calculus. We consider the Scott topology on the cpo of the finite...
147
click to vote
WAIM
2010
Springer
15 years 1 months ago
2010
Springer
Keyword search in relational databases has been widely studied in recent years. Most of the previous studies focus on how to answer an instant keyword query. In this paper, we focu...
113
Voted
TPHOL
1996
IEEE
15 years 7 months ago
1996
IEEE
We will present a Logic of Computable Functions based on the idea of Synthetic Domain Theory such that all functions are automatically continuous. Its implementation in the Lego pr...