Sciweavers

2864 search results - page 45 / 573
» Geo Linked Data
Sort
View
DILS
2009
Springer
14 years 1 days ago
Linking Life Sciences Data Using Graph-Based Mapping
Jan Taubert, Matthew Hindle, Artem Lysenko, Jochen...
FOSSACS
2006
Springer
13 years 11 months ago
A Logic of Reachable Patterns in Linked Data-Structures
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sag...
VISUALIZATION
1991
IEEE
13 years 11 months ago
Interactive Data Visualization Using Focusing and Linking
Andreas Buja, John Alan McDonald, J. Michalak, Wer...