8437 search results - page 232 / 1688 » Preferences over Sets |
187
click to vote
SAT
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
213
click to vote
SSD
2007
Springer
16 years 19 days ago
2007
Springer
We address continuously processing an aggregation join query over data streams. Queries of this type involve both join and aggregation operations, with windows specified on join ...
166
click to vote
STACS
2007
Springer
16 years 19 days ago
2007
Springer
We consider the problem of maintaining aggregates over recent elements of a massive data stream. Motivated by applications involving network data, we consider asynchronous data str...
181
click to vote
PODC
2006
ACM
16 years 14 days ago
2006
ACM
We study the problem of maintaining sketches of recent elements of a data stream. Motivated by applications involving network data, we consider streams that are asynchronous, in w...
181
click to vote
OOPSLA
2005
Springer
16 years 16 hour ago
2005
Springer
Instrumenting programs with code to monitor runtime behavior is a common technique for profiling and debugging. In practice, instrumentation is either inserted manually by progra...