Sciweavers

61 search results - page 2 / 13
» A First Step Towards Automatically Building Network Represen...
Sort
View
FAC
2006
122views more  FAC 2006»
13 years 10 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
ECIR
2010
Springer
14 years 6 days ago
Filtering Documents with Subspaces
We propose an approach to build a subspace representation for documents. This more powerful representation is a first step towards the development of a quantum-based model for Info...
Benjamin Piwowarski, Ingo Frommholz, Yashar Moshfe...
GIS
2009
ACM
14 years 11 months ago
Augmenting Cartographic Resources for Autonomous Driving
In this paper we present algorithms for automatically generating a road network description from aerial imagery. The road network inforamtion (RNI) produced by our algorithm inclu...
Young-Woo Seo, Chris Urmson, David Wettergreen Ji...
ICALT
2009
IEEE
14 years 5 months ago
Concept Extraction from Student Essays, Towards Concept Map Mining
This paper presents a new approach for automatic concept extraction, using grammatical parsers and Latent Semantic Analysis. The methodology and tool used to build the benchmarkin...
Jorge J. Villalón, Rafael A. Calvo
ECIR
2008
Springer
14 years 6 days ago
Towards an Automatically Generated Music Information System Via Web Content Mining
Abstract. This paper presents first steps towards building a music information system like last.fm, but with the major difference that the data is automatically retrieved from the ...
Markus Schedl, Peter Knees, Tim Pohle, Gerhard Wid...