Sciweavers

2532 search results - page 419 / 507
» Implementation and applications of the distortion operator
Sort
View
DEXA
2010
Springer
180views Database» more  DEXA 2010»
15 years 7 months ago
Approximate Instance Retrieval on Ontologies
With the development of more expressive description logics (DLs) for the Web Ontology Language OWL the question arises how we can properly deal with the high computational complexi...
Tuvshintur Tserendorj, Stephan Grimm, Pascal Hitzl...
SIGCOMM
2010
ACM
15 years 6 months ago
Multi-hop packet tracking for experimental facilities
The Internet has become a complex system with increasing numbers of end-systems, applications, protocols and types of networks. Although we have a good understanding of how data i...
Tacio Santos, Christian Henke, Carsten Schmoll, Ta...
CGF
2008
160views more  CGF 2008»
15 years 6 months ago
iCheat: A Representation for Artistic Control of Indirect Cinematic Lighting
Thanks to an increase in rendering efficiency, indirect illumination has recently begun to be integrated in cinematic lighting design, an application where physical accuracy is le...
Juraj Obert, Jaroslav Krivánek, Fabio Pella...
CORR
2008
Springer
179views Education» more  CORR 2008»
15 years 6 months ago
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
Carlo A. Furia, Matteo Pradella, Matteo Rossi
BMCBI
2006
125views more  BMCBI 2006»
15 years 6 months ago
Algebraic comparison of metabolic networks, phylogenetic inference, and metabolic innovation
Metabolic networks are naturally represented as directed hypergraphs in such a way that metabolites are nodes and enzyme-catalyzed reactions form (hyper)edges. The familiar operat...
Christian V. Forst, Christoph Flamm, Ivo L. Hofack...