1324 search results - page 145 / 265 » Models for Representing Task Ontologies |
FORMATS
2004
Springer
14 years 3 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
ACL
2012
12 years 17 days ago
2012
We investigate the problem of acoustic modeling in which prior language-specific knowledge and transcribed data are unavailable. We present an unsupervised model that simultaneou...
SIGIR
2009
ACM
14 years 4 months ago
2009
ACM
Documents in many corpora, such as digital libraries and webpages, contain both content and link information. To explicitly consider the document relations represented by links, i...
ICRA
2008
IEEE
14 years 4 months ago
2008
IEEE
— Simulation is frequently used in the study of multi-agent systems. Unfortunately, in many cases, it is not necessarily clear how faithfully the details of the simulated model r...
CVPR
2008
IEEE
15 years 6 days ago
2008
IEEE
In this paper we present a novel method for parsing aerial images with a hierarchical and contextual model learned in a statistical framework. We learn hierarchies at the scene an...