Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,508,486 papers from all fields of science
Search
Sign In
Create Free Account
Prentice Hall International Series in Computer Science
Prentice Hall International Series in Computer Science is a series of books on computer science published by Prentice Hall. The series' founding…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Carroll Morgan (computer scientist)
Computer science
Jim Davies (computer scientist)
Object-Oriented Software Construction
Expand
Broader (1)
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
External Memory Generalized Suffix and LCP Arrays Construction
F. A. Louza
,
G. P. Telles
,
C. D. Ciferri
Annual Symposium on Combinatorial Pattern…
2013
Corpus ID: 42140990
A suffix array is a data structure that, together with the LCP array, allows solving many string processing problems in a very…
Expand
2006
2006
LEXICALLY RANKED OCP-PLACE CONSTRAINTS IN MUNA
A. Coetzee
,
Joe Pater
2006
Corpus ID: 8361635
In this paper, we analyze the consonant co-occurrence restrictions in the Austronesian language Muna. As in Arabic and other…
Expand
2005
2005
Towards a 3D articulatory model of velum based on MRI and CT images
A. Serrurier
,
P. Badin
2005
Corpus ID: 15399137
This paper describes the processing of MRI and CT images needed for developing a 3D linear articulatory model of velum. The 3D…
Expand
2004
2004
Méthodes numériques pour la dynamique des structures non linéaires incompressibles à deux échelles
Patrice Hauret
2004
Corpus ID: 170732854
Le travail expose dans ce memoire consiste en une etude mathematique et numerique d'outils permettant la simulation de la…
Expand
2002
2002
Runtime Service Composition via Logic-Based Program Synthesis
S. Lämmermann
2002
Corpus ID: 60385402
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires…
Expand
1996
1996
The mathematical theory and applications of biorthogonal Coifman wavelet systems
Jun Tian
1996
Corpus ID: 122444135
In this thesis, we present a theoretical study of biorthogonal Coifman wavelet systems , a family of biorthogonal wavelet systems…
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
1991
1991
Sexual abuse allegations in divorce and custody disputes
H. Wakefield
,
Ralph Underwager
1991
Corpus ID: 71646710
Child sexual abuse allegations arising during divorce and custody conflicts are complicated and difficult. Most professionals…
Expand
1981
1981
Flow languages equal recursively enumerable languages
Toshiro Araki
,
N. Tokura
Acta Informatica
1981
Corpus ID: 29124981
SummaryRecently, A.C. Shaw introduced a new class of expressions called flow expressions, and conjectured that the formal…
Expand
Review
1948
Review
1948
Succession in Sagebrush
T. Lommasson
1948
Corpus ID: 88445696
C OMMON sagebrush (Artemisia tridentata) on the high grasslands of t)he Gravelly Range of the Beaverhead National Forest in…
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