Search Sciweavers | Sciweavers

1022 search results - page 18 / 205

» Stable models and circumscription

click to vote

ICDT
1995
ACM

92views Database» more ICDT 1995»

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

13 years 11 months ago

Download integra.cs.wayne.edu

Michele Bugliesi, Hasan M. Jamil

claim paper

Read More »

click to vote

EPIA
1991
Springer

96views Artificial Intelligence» more EPIA 1991»

The Extended Stable Models of Contradiction Removal Semantics

13 years 11 months ago

Download centria.di.fct.unl.pt

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

claim paper

Read More »

click to vote

ASPDAC
2005
ACM

110views Hardware» more ASPDAC 2005»

Compact and stable modeling of partial inductance and reluctance matrices

13 years 9 months ago

Download cobweb.ecn.purdue.edu

Abstract— The sparsiﬁcation of the reluctance matrix L−1 (where L denotes the usual inductance matrix L) has been widely used in several recent investigations to make the pro...

Hong Li, Venkataramanan Balakrishnan, Cheng-Kok Ko...

claim paper

Read More »

click to vote

APBC
2008

213views Bioinformatics» more APBC 2008»

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

13 years 9 months ago

Download www.pims.math.ca

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

claim paper

Read More »

click to vote

DEDS
2007

68views more DEDS 2007»

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

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers