427 search results - page 68 / 86 » On the Power of Labels in Transition Systems |
140
click to vote
TABLEAUX
2000
Springer
15 years 3 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
104
click to vote
CADE
2012
Springer
13 years 2 months ago
2012
Springer
The problem of SPARQL query containment is defined as determining if the result of one query is included in the result of another for any RDF graph. Query containment is important...
141
click to vote
JCST
2010
14 years 6 months ago
2010
In this paper, we examine an emerging variation of the classification problem, which is known as the inverse classification problem. In this problem, we determine the features to b...
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
We investigate dynamical models of human motion that can
support both synthesis and analysis tasks. Unlike coarser
discriminative models that work well when action classes are ...
165
Voted
EICS
2011
ACM
14 years 3 months ago
2011
ACM
This paper describes a model-based approach for designing distributed user interfaces (DUIs), i.e. graphical user interfaces that are distributed along one or many of the followin...