5066 search results - page 728 / 1014 » Spectra of structures and relations |
153
click to vote
LCPC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we propose an approach to automatic compiler parallelization based on language extensions that is applicable to a broader range of program structures and a...
123
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
The impact of user interface quality has grown in software systems engineering, and will grow further with upcoming new paradigms such as Ambient Intelligence or Ubiquitous Comput...
156
click to vote
SAMT
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, an ontology-driven approach for the semantic analysis of video is proposed. This approach builds on an ontology infrastructure and in particular a multimedia ontolog...
127
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Revyu.com is a live, publicly accessible reviewing and rating Web site, designed to be usable by humans whilst transparently generating machinereadable RDF metadata for the Semanti...
149
click to vote
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...