1981 search results - page 285 / 397 » Model-Checking Hierarchical Structures |
AAAI
1996
13 years 10 months ago
1996
Automatic recognition of animal vocalisations would be a valuable tool for a variety of biological research and environmental monitoring applications . We report the development o...
TREC
2007
13 years 10 months ago
2007
This paper retains the experiences by participating in TREC 2007 Blog Track ‘Feed Distillation’. To perform the run various classifiers are combined, which analyze title-, co...
ICML
2010
IEEE
13 years 9 months ago
2010
IEEE
We introduce the Spherical Admixture Model (SAM), a Bayesian topic model for arbitrary 2 normalized data. SAM maintains the same hierarchical structure as Latent Dirichlet Allocat...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
In this paper we present a new approach to data modelling, called the concept-oriented model (CoM), and describe its main features and characteristics including data semantics and ...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The ...