651 search results - page 78 / 131 » Decisions in thesaurus construction and use |
GLOBECOM
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—This paper studies large randomly spread directsequence code-division multiple-access system operating over a block fading multipath channel. Channel knowledge is obtain...
161
click to vote
TABLEAUX
2009
Springer
15 years 6 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...
AVSS
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper addresses the problem of classifying human actions in a video sequence. A representation eigenspace approach based on the PCA algorithm is used to train the classifier...
CIVR
2007
Springer
15 years 6 months ago
2007
Springer
This paper addresses the problem of classifying actions performed by a human subject in a video sequence. A representation eigenspace approach based on the visual appearance is us...
CONCUR
2007
Springer
15 years 6 months ago
2007
Springer
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...