Sciweavers

8179 search results - page 1391 / 1636
» The PRACTIONIST Development Tool
Sort
View
COSIT
1999
Springer
124views GIS» more  COSIT 1999»
15 years 11 months ago
A Predication Calculus for Qualitative Spatial Representations
Spatial information is information bound to spatial entities such as regions. It is based on the spatial structure alone (the valley includes the field) or connects thematic predic...
Carola Eschenbach
IWPC
1999
IEEE
15 years 11 months ago
Recovery of Jump Table Case Statements from Binary Code
One of the fundamental problems with the static analysis of binary (executable) code is that7 of recognizing, in a machine-independent way, the target addresses of n-conditional b...
Cristina Cifuentes, Mike Van Emmerik
ERSHOV
1999
Springer
15 years 11 months ago
Current Directions in Hyper-Programming
The traditional representation of a program is as a linear sequence of text. At some stage in the execution sequence the source text is checked for type correctness and its transla...
Ronald Morrison, Richard C. H. Connor, Quintin I. ...
VISUALIZATION
1999
IEEE
15 years 11 months ago
Digital Design of a Surgical Simulator for Interventional Magnetic Resonance Imaging
We present the design of a simulator for a prototype interventional magnetic resonance imaging scanner. This MRI scanner is integrated with an operating theater, enabling new tech...
Terry S. Yoo, Penny Rheingans
GCSE
1999
Springer
15 years 11 months ago
Scoping Constructs for Software Generators
Abstract. A well-known problem in program generation is scoping. When identifiers (i.e., symbolic names) are used to refer to variables, types, or functions, program generators mu...
Yannis Smaragdakis, Don S. Batory
« Prev « First page 1391 / 1636 Last » Next »