Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,906,373 papers from all fields of science
Search
Sign In
Create Free Account
HL7 data type
Known as:
Data type
, Data types
, DataType
National Institutes of Health
Create Alert
Alert
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Dictionary of media and communications
M. Danesi
2009
Corpus ID: 153230877
Drawing on the most prominent research in the field, this timely book offers bold new fiscal policies that can complement current…
Expand
Highly Cited
2008
Highly Cited
2008
Analysis of distributed systems with mCRL2
J. F. Groote
,
A. Mathijssen
,
M. Reniers
,
Y. Usenko
,
M. V. Weerdenburg
2008
Corpus ID: 14004582
ion An important notion in process algebra is that of abstraction. Usually the requirements of a system are defined in terms of…
Expand
Highly Cited
2007
Highly Cited
2007
Satellite Characterization: Angles and Light Curve Data Fusion for Spacecraft State and Parameter Estimation
M. Jah
,
R. Madler
2007
Corpus ID: 38276723
One of the challenges of satellite characterization is the ability to determine the spacecraft orientation, size, and material…
Expand
Review
2005
Review
2005
JavaEvA : a Java based framework for Evolutionary Algorithms
F. Streichert
,
Holger Ulmer
2005
Corpus ID: 59864656
The package JavaEvA (a Java implementation of Evolutionary Algorithms) is a general modular framework with an inherent client…
Expand
2001
2001
Program Design by Informal English Descriptions
Benno Geißelmann
2001
Corpus ID: 51732477
Data Types and Software Validation On the Criteria to be Used in Decomposing Systems into Modules On the Design and Development…
Expand
Review
1999
Review
1999
Geostatistical Scaling Laws Applied to Core and Log Data
P. Frykman
,
C. Deutsch
1999
Corpus ID: 17364846
Reconciling data from different scales is a longstanding problem in reservoir characterization. Data from core plugs, well logs…
Expand
Highly Cited
1997
Highly Cited
1997
Acquisition of 3D urban models by analysis of aerial images, digital surface models, and existing 2D building information
N. Haala
,
Karl-Heinrich Anders
Defense, Security, and Sensing
1997
Corpus ID: 63824651
For a task like 3D building reconstruction, there are three main data sources carrying information which is reburied for a highly…
Expand
Highly Cited
1995
Highly Cited
1995
Specifying Open GIS with Functional Languages
A. Frank
,
W. Kuhn
International Multi-Conference on Systems…
1995
Corpus ID: 14298570
The concept of Open GIS depends on precise definitions of data, operations and interfaces. This paper argues for the use of…
Expand
1992
1992
An object-oriented refinement calculus with modular reasoning
Barry Mark Utting
1992
Corpus ID: 61202181
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding…
Expand
1981
1981
Program refinement by transformation
T. Cheatham
,
G. Holloway
,
Judy A. Townley
International Conference on Software Engineering
1981
Corpus ID: 15630084
Program maintenance is simplified when the program to be modified can be viewed as an abstract algorithm to which clearly…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE