Sciweavers

1578 search results - page 23 / 316

» Induction of Stable Models

73

ICCAD
1995
IEEE

61views Hardware» more ICCAD 1995»

Stable and efficient reduction of substrate model networks using congruence transforms

15 years 7 months ago

Stable and efficient reduction of substrate model networks using congruence transforms

Download www.cs.york.ac.uk

Kevin J. Kerns, Ivan L. Wemple, Andrew T. Yang

claim paper

Read More »

116

Voted

ICDT
1995
ACM

92views Database» more ICDT 1995»

A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages

15 years 7 months ago

A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages

Download integra.cs.wayne.edu

Michele Bugliesi, Hasan M. Jamil

claim paper

Read More »

86

EPIA
1991
Springer

96views Artificial Intelligence» more EPIA 1991»

The Extended Stable Models of Contradiction Removal Semantics

15 years 7 months ago

The Extended Stable Models of Contradiction Removal Semantics

Download centria.di.fct.unl.pt

Luís Moniz Pereira, José Júli...

claim paper

Read More »

104

APBC
2008

213views Bioinformatics» more APBC 2008»

Structure-Approximating Design of Stable Proteins in 2D HP Model Fortified by Cysteine Monomers

15 years 4 months ago

Structure-Approximating Design of Stable Proteins in 2D HP Model Fortified by Cysteine Monomers

Download www.pims.math.ca

Alireza Hadj Khodabakhshi, Ján Manuch, Aras...

claim paper

Read More »

97

DEDS
2007

68views more DEDS 2007»

Stable Model Predictive Control for Constrained Max-Plus-Linear Systems

15 years 3 months ago

Stable Model Predictive Control for Constrained Max-Plus-Linear Systems

Download repository.tudelft.nl

Ion Necoara, Bart De Schutter, Ton J. J. van den B...

claim paper

Read More »

« Prev « First page 23 / 316 Last » Next »