Sciweavers

141 search results - page 19 / 29
» Shape Analysis with Reference Set Relations
Sort
View
CONCUR
1999
Springer
15 years 4 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea
96
Voted
LREC
2010
166views Education» more  LREC 2010»
15 years 1 months ago
Video Retrieval in Sign Language Videos : How to Model and Compare Signs?
This paper deals with the problem of finding sign occurrences in a sign language (SL) video. It begins with an analysis of sign models and the way they can take into account the s...
François Lefebvre-Albaret, Patrice Dalle
ASSETS
2008
ACM
15 years 1 months ago
A3: a coding guideline for HCI+autism research using video annotation
Due to the profile of strengths and weaknesses indicative of autism spectrum disorders (ASD), technology may play a key role in ameliorating communication difficulties with this p...
Joshua M. Hailpern, Karrie Karahalios, James Halle...
BMCBI
2011
14 years 3 months ago
Wavelet-based identification of DNA focal genomic aberrations from single nucleotide polymorphism arrays
Background: Copy number aberrations (CNAs) are an important molecular signature in cancer initiation, development, and progression. However, these aberrations span a wide range of...
Youngmi Hur, Hyunju Lee
IFIP12
2007
15 years 1 months ago
Clustering Improves the Exploration of Graph Mining Results
Mining frequent subgraphs is an area of research where we have a given set of graphs, and where we search for (connected) subgraphs contained in many of these graphs. Each graph ca...
Edgar H. de Graaf, Joost N. Kok, Walter A. Kosters