Sciweavers

431 search results - page 39 / 87
» Abstract Data Types in Computer Algebra
Sort
View
CVRMED
1995
Springer
13 years 11 months ago
Adaptive Segmentation of MRI Data
Abstract. Intensity-based classification of MR images has proven problematic, even when advanced techniques are used. Intra-scan and interscan intensity inhomogeneities are a comm...
William M. Wells III, W. Eric L. Grimson, Ron Kiki...
ASSETS
1994
ACM
13 years 11 months ago
Providing access to graphical user interfaces - not graphical screens
ls of abstraction which make up a graphical user interface. The Power of GUIs For much of their history, computers have been capable of presenting only textual and numeric data to ...
W. Keith Edwards, Elizabeth D. Mynatt, Kathryn Sto...
BIRTHDAY
2004
Springer
13 years 11 months ago
On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations
Abstract. We consider programs which are data independent with respect to two type variables X and Y , and can in addition use arrays indexed by X and storing values from Y . We ar...
Ranko Lazic, Thomas Christopher Newcomb, A. W. Ros...
PLILP
1997
Springer
13 years 12 months ago
DrScheme: A Pedagogic Programming Environment for Scheme
Abstract. Teaching introductory computing courses with Scheme elevates the intellectual level of the course and thus makes the subject more appealing to students with scienti c int...
Robert Bruce Findler, Cormac Flanagan, Matthew Fla...
HPDC
1993
IEEE
13 years 12 months ago
Programming a Distributed System Using Shared Objects
Building the hardware for a high-performance distributed computer system is a lot easier than building its software. In this paper we describe a model for programtributed systems ...
Andrew S. Tanenbaum, Henri E. Bal, M. Frans Kaasho...