Sciweavers

6141 search results - page 959 / 1229
» Models and representation of their ownership
Sort
View
ADAPTIVE
2007
Springer
16 years 27 days ago
Semantic Web Technologies for the Adaptive Web
Ontologies and reasoning are the key terms brought into focus by the semantic web community. Formal representation of ontologies in a common data model on the web can be taken as a...
Peter Dolog, Wolfgang Nejdl
APN
2007
Springer
16 years 27 days ago
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...
Marco Beccuti, Giuliana Franceschinis, Serge Hadda...
CALCO
2007
Springer
88views Mathematics» more  CALCO 2007»
16 years 27 days ago
Datatypes in Memory
Besides functional correctness, specifications must describe other properties of permissible implementations. We want to use simple algebraic techniques to specify resource usage ...
David Aspinall, Piotr Hoffman
CIVR
2007
Springer
104views Image Analysis» more  CIVR 2007»
16 years 27 days ago
Semantic facets: an in-depth analysis of a semantic image retrieval system
This paper introduces a faceted model of image semantics which attempts to express the richness of semantic content interpretable within an image. Using a large image data-set fro...
Jonathon S. Hare, Paul H. Lewis, Peter G. B. Enser...
EVOW
2007
Springer
16 years 26 days ago
Bio-mimetic Evolutionary Reverse Engineering of Genetic Regulatory Networks
The effective reverse engineering of biochemical networks is one of the great challenges of systems biology. The contribution of this paper is two-fold: 1) We introduce a new meth...
Daniel Marbach, Claudio Mattiussi, Dario Floreano