599 search results - page 63 / 120 » The repeater tree construction problem |
142
click to vote
LATIN
2004
Springer
15 years 9 months ago
2004
Springer
Predicting and optimizing the performance of ray shooting is a very important problem in computer graphics due to the severe computational demands of ray tracing and other applicat...
117
click to vote
CONTEXT
2007
Springer
2007
Springer
Thai Text Coherence Structuring with Coordinating and Subordinating Relations for Text Summarization
15 years 10 months ago
Text summarization with the consideration of coherence can be achieved by using discourse processing with the Rhetorical Structure Theory (RST). Additional problems on relational a...
150
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
150
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The bounded synthesis problem is to construct an implementation that satisfies a given temporal specification and a given bound on the number of states. We present a so...
233
click to vote
ICDE
2005
IEEE
16 years 5 months ago
2005
IEEE
We address the problem of content-based dissemination of highly-distributed, high-volume data streams for stream-based monitoring applications and large-scale data delivery. Exist...