Sciweavers

172 search results - page 24 / 35
» Supporting Flat Relations by a Nested Relational Kernel
Sort
View
HT
2010
ACM
15 years 2 months ago
iMapping: a zooming user interface approach for personal and semantic knowledge management
We present iMapping, a zooming based approach for visually organizing information objects. It was developed on top of semantic desktop technologies and especially targets the supp...
Heiko Haller, Andreas Abecker
GRAPHICSINTERFACE
2008
14 years 11 months ago
Cascaded treemaps: examining the visibility and stability of structure in treemaps
Treemaps are an important and commonly-used approach to hierarchy visualization, but an important limitation of treemaps is the difficulty of discerning the structure of a hierarc...
Hao Lü, James Fogarty
FSTTCS
2008
Springer
14 years 10 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...
NCA
2010
IEEE
14 years 4 months ago
Anatomy-based organization of morphology and control in self-reconfigurable modular robots
In this paper we address the challenge of realizing full-body behaviors in scalable modular robots. We present an experimental study of a biologically inspired approach to organize...
David Johan Christensen, Jason Campbell, Kasper St...
IEEEPACT
2006
IEEE
15 years 3 months ago
An empirical evaluation of chains of recurrences for array dependence testing
Code restructuring compilers rely heavily on program analysis techniques to automatically detect data dependences between program statements. Dependences between statement instanc...
Johnnie Birch, Robert A. van Engelen, Kyle A. Gall...