Sciweavers

15824 search results - page 9 / 3165
» Specialising in Software Engineering
Sort
View
TACAS
2001
Springer
160views Algorithms» more  TACAS 2001»
14 years 1 months ago
Hardware/Software Co-Design Using Functional Languages
In previous work we have developed and prototyped a silicon compiler which translates a functional language (SAFL) into hardware. Here we present a SAFL-level program transformati...
Alan Mycroft, Richard Sharp
JODS
2007
142views Data Mining» more  JODS 2007»
13 years 8 months ago
Context Dependency Management in Ontology Engineering: A Formal Approach
Abstract. A viable ontology engineering methodology requires supporting domain experts in gradually building and managing increasingly complex versions of ontological elements and ...
Pieter De Leenheer, Aldo de Moor, Robert Meersman
WWW
2007
ACM
14 years 9 months ago
Towards a scalable search and query engine for the web
Current search engines do not fully leverage semantically rich datasets, or specialise in indexing just one domainspecific dataset. We present a search engine that uses the RDF da...
Aidan Hogan, Andreas Harth, Jürgen Umbrich, S...