9359 search results - page 331 / 1872 » Generalization Algorithms for Second-Order Terms |
162
click to vote
TCS
2002
15 years 6 months ago
2002
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
187
click to vote
SIGCOMM
2010
ACM
15 years 5 months ago
2010
ACM
In this paper we consider an alternative, highly agile approach called backpressure routing for Delay Tolerant Networks (DTN), in which routing and forwarding decisions are made o...
165
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
Text summarization is a data reduction process. The use of text summarization enables users to reduce the amount of text that must be read while still assimilating the core inform...
190
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
This paper extends the traditional binocular stereo problem into the spacetime domain, in which a pair of video streams is matched simultaneously instead of matching pairs of imag...
154
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
In this paper, we show that most multiple term queries include more than one topic and users usually reformulate their queries by topics instead of terms. In order to provide empi...