3040 search results - page 445 / 608 » Independent Natural Extension |
210
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
We study recursive timed automata that extend timed automata with recursion. Timed automata, as introduced by Alur and Dill, are finite automata accompanied by a finite set of real...
171
click to vote
DEXA
2010
Springer
15 years 7 months ago
2010
Springer
Data stream is a newly emerging data model for applications like environment monitoring, Web click stream, network traffic monitoring, etc. It consists of an infinite sequence of d...
391
click to vote
FAW
2010
Springer
15 years 7 months ago
2010
Springer
We study problems in computational geometry from the viewpoint of adaptive algorithms. Adaptive algorithms have been extensively studied for the sorting problem, and in this paper ...
171
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
Automated analysis of unstructured text documents (e.g., web pages, newswire articles, research publications, business reports) is a key capability for solving important problems ...
182
click to vote
WWW
2010
ACM
15 years 6 months ago
2010
ACM
Abstract. Several projects have brought rich data semantics to collaborative wikis, but blogging platforms remain primarily limited to text. As blogs comprise a significant portion...