193 search results - page 22 / 39 » Several ways to solve the MSO problem |
201
click to vote
HUMO
2007
Springer
16 years 2 days 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...
161
click to vote
ICCD
2000
IEEE
15 years 10 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...
136
click to vote
UML
1998
Springer
15 years 10 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 ...
139
click to vote
ITS
1992
Springer
15 years 10 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 ...
135
click to vote
AUTOMATICA
2006
15 years 6 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....