Sciweavers

899 search results - page 31 / 180
» A Temporal Language for SystemC
Sort
View
IGPL
2006
130views more  IGPL 2006»
13 years 6 months ago
Verifying Temporal Heap Properties Specified via Evolution Logic
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...
Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard...
ESWS
2010
Springer
13 years 5 months ago
Modeling and Querying Metadata in the Semantic Sensor Web: The Model stRDF and the Query Language stSPARQL
Abstract. RDF will often be the metadata model of choice in the Semantic Sensor Web. However, RDF can only represent thematic metadata and needs to be extended if we want to model ...
Manolis Koubarakis, Kostis Kyzirakos
ICASSP
2011
IEEE
12 years 10 months ago
Time-constrained sequential pattern discovery for music genre classification
Music consists of both local and long-term temporal information. However, for a genre classification task, most of the text categorization based approaches only capture local temp...
Jia-Min Ren, Jyh-Shing Roger Jang
MVA
2007
114views Computer Vision» more  MVA 2007»
13 years 8 months ago
Sign Language Recognition Using Boosted Volumetric Features
This paper proposes a method for sign language recognition that bypasses the need for tracking by classifying the motion directly. The method uses the natural extension of haar li...
Helen Cooper, Richard Bowden
CVPR
2009
IEEE
15 years 6 days ago
Learning Signs from Subtitles: A Weakly Supervised Approach to Sign Language Recognition
This paper introduces a fully-automated, unsupervised method to recognise sign from subtitles. It does this by using data mining to align correspondences in sections of videos. Bas...
Helen Cooper, Richard Bowden