Sciweavers

4961 search results - page 696 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
ECIS
2000
15 years 7 months ago
Computer-Based Drug Therapy: Challenging More than 700 Years of Traditions
In most medical regimens, drug therapy is essential. Drugs are used for preventing diseases, treating diseases as well as minimising the effects related to diseases that can not b...
Riitta Söderlund, Malin Brännback
FSTTCS
2008
Springer
15 years 7 months ago
Runtime Monitoring of Metric First-order Temporal Properties
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
David A. Basin, Felix Klaedtke, Samuel Müller...
155
Voted
CSL
2010
Springer
15 years 6 months ago
Randomisation and Derandomisation in Descriptive Complexity Theory
We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic ...
Kord Eickmeyer, Martin Grohe
ALGORITHMICA
2006
132views more  ALGORITHMICA 2006»
15 years 6 months ago
Straight-Line Drawing Algorithms for Hierarchical Graphs and Clustered Graphs
Hierarchical graphs and clustered graphs are useful non-classical graph models for structured relational information. Hierarchical graphs are graphs with layering structures; clus...
Peter Eades, Qing-Wen Feng, Xuemin Lin, Hiroshi Na...
CG
2007
Springer
15 years 6 months ago
Graphtracker: A topology projection invariant optical tracker
In this paper, we describe a new optical tracking algorithm for pose estimation of interaction devices in virtual and augmented reality. Given a 3D model of the interaction device...
Ferdi A. Smit, Arjen van Rhijn, Robert van Liere