Sciweavers

2994 search results - page 280 / 599
» Time sequences
Sort
View
SIGCSE
2003
ACM
125views Education» more  SIGCSE 2003»
15 years 9 months ago
Introducing middle school girls to fault tolerant computing
During summer 2002, we ran a workshop module for a group of 28 eighth-grade girls. Our aim was ambitious: to introduce these students, ages 12 and 13, to computer science by focus...
Paolo A. G. Sivilotti, Murat Demirbas
ATS
1998
IEEE
106views Hardware» more  ATS 1998»
15 years 8 months ago
A Test Pattern Generation Algorithm Exploiting Behavioral Information
This paper aims at broadening the scope of hierarchical ATPG to the behavioral-level The main problem of using behavioral information for ATPG is the mismatch of timing models bet...
Silvia Chiusano, Fulvio Corno, Paolo Prinetto
FGR
1998
IEEE
125views Biometrics» more  FGR 1998»
15 years 8 months ago
Recognizing Temporal Trajectories Using the Condensation Algorithm
The recognition of human gestures in image sequences isan importantand challengingproblem that enables a host of human-computerinteractionapplications. This paper describes an inc...
Michael J. Black, Allan D. Jepson
AAIM
2007
Springer
106views Algorithms» more  AAIM 2007»
15 years 8 months ago
A New Efficient Algorithm for Computing the Longest Common Subsequence
Abstract. The Longest Common Subsequence (LCS) problem is a classic and well-studied problem in computer science. The LCS problem is a common task in DNA sequence analysis with man...
M. Sohel Rahman, Costas S. Iliopoulos
ECTEL
2007
Springer
15 years 8 months ago
Curriculum Model Checking: Declarative Representation and Verification of Properties
When a curriculum is proposed, it is important to verify at least three aspects: that the curriculum allows the achievement of the user's learning goals, that the curriculum i...
Matteo Baldoni, Elisa Marengo