8701 search results - page 340 / 1741 » XML-Based Feature Modelling |
142
click to vote
CAV
2001
Springer
15 years 10 months ago
2001
Springer
Compositional model checking is used to verify a processor microarchitecture containing most of the features of a modern microprocessor, including branch prediction, speculative ex...
152
click to vote
NGITS
1995
Springer
15 years 10 months ago
1995
Springer
TSIMMIS—TheStanford-IBMManagerofMultipleInformationSources—isasystemforintegrating information. It offers a data model and a common query language that are designed to support ...
169
click to vote
COLING
2008
15 years 8 months ago
2008
This paper describes a parameter estimation method for multi-label classification that does not rely on approximate inference. It is known that multi-label classification involvin...
244
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
In this paper, we present a novel approach to recognizing human actions from different views by view knowledge transfer. An action is originally modelled as a bag of visual-words ...
143
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In the paper we propose a novel multi-layer Mixed Markov model for detecting relevant changes in registered aerial images taken with significant time differences. The introduced ...