5623 search results - page 76 / 1125 » Incremental Mechanism Design |
130
Voted
CONEXT
2005
ACM
15 years 2 months ago
2005
ACM
The design and development process of communication protocols and real-time systems and particularly transport protocol mechanisms requires adequate methodology and efficient ins...
FCSC
2007
15 years 16 days ago
2007
The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way. This paper gives...
ISSS
1998
IEEE
15 years 4 months ago
1998
IEEE
With the decreasing feature sizes during VLSI fabrication and the dominance of interconnect delay over that of gates, control logic and wiring no longer have a negligible impact o...
111
Voted
VLDB
1994
ACM
15 years 4 months ago
1994
ACM
Full-text information retrieval systems have traditionally been designed for archival environments. They often provide little or no support for adding new documents to an existing...
101
click to vote
IDEAS
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper is concerned with a transformation-based approach to update propagation in an extended version of Codd’s relational algebra which allows for defining derived relatio...