1845 search results - page 262 / 369 » Automatic Initiation of an Ontology |
290
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
168
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
We describe the results of large-scale experiments with algorithms for unsupervised improvement of recognition of book-images using fully automatic mutual-entropy-based model adap...
162
click to vote
TOOLS
2008
IEEE
16 years 23 days ago
2008
IEEE
In this paper, we introduce MaDcAr, a model of engines for dynamic and automatic (re)assembling of component-based software. In MaDcAr, an application description consists of the d...
173
click to vote
AMR
2007
Springer
16 years 18 days ago
2007
Springer
We extend an approach to search inside large-scale music collections by enabling the user to give feedback on the retrieved music pieces. In the original approach, a search engine ...
196
click to vote
ICNS
2006
IEEE
16 years 13 days ago
2006
IEEE
The Globus Toolkit is properly configured open source software for setting up grid nodes across multiple heterogeneous platforms. The process of grid enabling a machine is a long ...