193 search results - page 22 / 39 » Several ways to solve the MSO problem |
HUMO
2007
Springer
15 years 3 months ago
2007
Springer
We propose a new method for human action recognition from video sequences using latent topic models. Video sequences are represented by a novel “bag-of-words” representation, w...
ICCD
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
UML
1998
Springer
15 years 2 months ago
1998
Springer
At British Airways, we have found during several large OO projects documented using the UML that non-technical end-users, managers and business domain experts find it difficult to ...
ITS
1992
Springer
15 years 1 months ago
1992
Springer
: The ProgramCritic is a system designed to analyze and critique students' computer programs. After analyzing a program, the ProgramCritic provides the student with a list of ...
AUTOMATICA
2006
14 years 9 months ago
2006
The challenging problem in linear control theory is to describe the total set of parameters (controller coefficients or plant characteristics) which provide stability of a system....