Search Sciweavers | Sciweavers

5718 search results - page 73 / 1144

» Modeling Rule Precision

119

click to vote

RULEML
2005
Springer

78views Internet Technology» more RULEML 2005»

Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML

15 years 11 months ago

Download rewerse.net

Adrian Giurca, Gerd Wagner

claim paper

Read More »

119

click to vote

CAV
1997
Springer

111views Hardware» more CAV 1997»

RuleBase: Model Checking at IBM

15 years 10 months ago

Download www.cs.uwaterloo.ca

Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel ...

claim paper

Read More »

125

click to vote

RECOMB
1997
Springer

92views Computational Biology» more RECOMB 1997»

Local rules for protein folding on a triangular lattice and generalized hydrophobicity in the HP model

15 years 10 months ago

Download www.pims.math.ca

Richa Agarwala, Serafim Batzoglou, Vlado Danc&iacu...

claim paper

Read More »

121

click to vote

ACSC
2006
IEEE

82views Theoretical Computer Science» more ACSC 2006»

Rule sets based bilevel decision model

15 years 10 months ago

Download www.intsci.ac.cn

Z. Zheng, G. Zhang, Q. He, J. Lu, Z. Shi

claim paper

Read More »

113

click to vote

ERSHOV
2006
Springer

68views Theoretical Computer Science» more ERSHOV 2006»

Visual Rules Modeling

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers