1364 search results - page 78 / 273 » Comparative Branching-Time Semantics |
100
click to vote
CHI
2009
ACM
14 years 9 months ago
2009
ACM
Tag clouds have become a frequently used interaction technique in the web. Recently several approaches to present tag clouds with the tags semantically clustered have been propose...
105
click to vote
BIRTHDAY
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
104
click to vote
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
Semantic video indexing is the first step towards automatic video retrieval and personalization. We propose a data-driven stochastic modeling approach to perform both video segmen...
176
click to vote
ICDE
2005
IEEE
16 years 1 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...
108
click to vote
VLDB
2007
ACM
15 years 6 months ago
2007
ACM
Efficient management of RDF data is an important factor in realizing the Semantic Web vision. Performance and scalability issues are becoming increasingly pressing as Semantic Web...