Search Sciweavers | Sciweavers

7715 search results - page 63 / 1543

» Visual Rules Modeling

117

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 »

118

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 »

124

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 »

120

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 »

149

click to vote

RSCTC
2000
Springer

106views Fuzzy Logic» more RSCTC 2000»

A Hybrid Model for Rule Discovery in Data

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers