Sciweavers

573 search results - page 38 / 115
» Temporal Views as Abstract Relations
Sort
View
PTS
2008
109views Hardware» more  PTS 2008»
13 years 9 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
JIIS
2002
114views more  JIIS 2002»
13 years 7 months ago
A Dynamic Probabilistic Model to Visualise Topic Evolution in Text Streams
Abstract. We propose a novel probabilistic method, based on latent variable models, for unsupervised topographic visualisation of dynamically evolving, coherent textual information...
Ata Kabán, Mark Girolami
ACTA
2007
62views more  ACTA 2007»
13 years 7 months ago
Representation and uniformization of algebraic transductions
Abstract This paper explores different means of representation for algebraic transductions, i.e., word relations realized by pushdown transducers. The relevance of this work lies m...
Stavros Konstantinidis, Nicolae Santean, Sheng Yu
WEBI
2007
Springer
14 years 1 months ago
Flickr: Who is Looking?
This article presents a characterization of user behavior on Flickr, a popular on-line photo sharing service that allows users to store, search, sort and share their photos. Based...
Roelof van Zwol
MLMI
2005
Springer
14 years 1 months ago
Foreground Regions Extraction and Characterization Towards Real-Time Object Tracking
Abstract. Object localization and tracking are key issues in the analysis of scenes for video surveillance or scene understanding applications. This paper presents a contribution t...
José Luis Landabaso, Montse Pardàs