Sciweavers

5746 search results - page 791 / 1150
» Visualizing Query Structure
Sort
View
ICCS
2004
Springer
16 years 5 days ago
Types and Tokens for Logic with Diagrams
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...
Frithjof Dau
ISADS
2003
IEEE
16 years 2 days ago
A GUI Approach to Programming of TMO Frames and Design of Real-Time Distributed Computing Software
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...
K. H. Kim, Seok-Joong Kang
SSDBM
1998
IEEE
107views Database» more  SSDBM 1998»
15 years 11 months ago
Discrete Object Detection and Motion Registration Based on a Data Management Approach
When scientific data sets can be interpreted visually they are typically managed as pictures and consequently stored as large collections of bitmaps. Valuable information containe...
Hans Hinterberger, Bettina Bauer-Messmer
EDUTAINMENT
2006
Springer
15 years 10 months ago
Trans-disciplinary Avenues in Education: Computing and Art
In this paper we report on an interdisciplinary course "Computing and Art" taught at the Sabanci University, Istanbul for the first time in fall of 2004. We also present...
Selim Balcisoy, Elif E. Ayiter
MICCAI
2000
Springer
15 years 10 months ago
Simulation of Corticospinal Tract Displacement in Patients with Brain Tumors
The spatial relationship between the corticospinal tracts and a brain tumor is important for planning the surgical strategy. Although the white matter tracts can be manually outlin...
Michael Kaus, Arya Nabavi, C. T. Mamisch, William ...