Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,971,583 papers from all fields of science
Search
Sign In
Create Free Account
Subtype constraint - MdfHmdRowType
Known as:
Subtype constraint
National Institutes of Health
Create Alert
Alert
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2015
Review
2015
IC3, PDR, and Friends
A. Gurfinkel
2015
Corpus ID: 125981502
We describe the IC3/PDR algorithms and their various generalizations. Our goal is to give a brief overview of the algorithms and…
Expand
2004
2004
Uniqueness of KKT Multipliers in Multiobjective Optimization
G. Bigi
2004
Corpus ID: 7198556
K e y w o r d s M u l t i o b j e c t i v e optimization, Mangasarian-l'~romovitz type conditions, Second-order optimality…
Expand
2004
2004
THE ACQUISITION OF ENGLISH “-ED ” COMPLEX CODAS BY BRAZILIAN PORTUGUESE SPEAKERS : MORE THAN JUST A MATTER OF CONSTRAINT DEMOTION
U. Alves
2004
Corpus ID: 16593276
This study aims to verify the acquisition, by Brazilian Portuguese speakers, of the final consonant clusters of the English verbs…
Expand
2003
2003
CONSTRAINT DATALOG IN TRUST MANAGEMENT
Scott Anderson
2003
Corpus ID: 169286366
2002
2002
Model Mapping in MDA
G. Caplat
,
J. Sourrouille
2002
Corpus ID: 14924144
In this paper we propose a general model of Model Mapping, one of the key features in MDA. We recall the fundamental…
Expand
2002
2002
Axonal Sprouting and Neuronal Connectivity following Central Nervous System Insult: Implications for Occupational Therapy
M. Kelly
,
Surya Shah
2002
Corpus ID: 71391764
Based on selected contemporary research, this paper presents a critical analysis of central nervous system (CNS) reorganisation…
Expand
2001
2001
Adaptive terminal sliding mode control of a rigid robotic manipulator with uncertain dynamics incorporating constraint inequalities
P. G. K. R. J. Stonier
2001
Corpus ID: 56406711
We consider the control of a rigid robotic manipulator using robust adaptive sliding mode tracking control. Physical state…
Expand
1997
1997
Dependensstrukturer i Constraint Grammar syntaks for por-tugisisk
Eckhard Bick
1997
Corpus ID: 115393180
The paper presents some syntactic aspects of an automatic grammar and lexicon based parser for unrestr icted Portuguese text…
Expand
1995
1995
Improvements in I.F.S. Formulation for its Use in Still Image Coding
J. Dugelay
1995
Corpus ID: 692139
| In this paper, we report on a study on still image coding using I.F.S. In particular, we focus on two aspects of the algorithm…
Expand
1990
1990
Compiling Devices and Processes
J. Kleer
1990
Corpus ID: 16181914
This paperpresents a new approach for exploiting Truth Maintenance Systems(TMSs in which the inference engine can convey locality…
Expand