Search Sciweavers | Sciweavers

15120 search results - page 225 / 3024

» Learning with Local Models

132

click to vote

ICSE
1999
IEEE-ACM

96views Software Engineering» more ICSE 1999»

Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts

15 years 10 months ago

Download www.cs.washington.edu

William Chan, Richard J. Anderson, Paul Beame, Dav...

claim paper

Read More »

121

click to vote

SPAA
1997
ACM

89views Distributed And Parallel Com...» more SPAA 1997»

Modeling Parallel Bandwidth: Local vs. Global Restrictions

15 years 10 months ago

Download theory.stanford.edu

Micah Adler, Phillip B. Gibbons, Vijaya Ramachandr...

claim paper

Read More »

180

click to vote

FUZZY
1997
Springer

133views Fuzzy Logic» more FUZZY 1997»

Local Search for Computing Normal Circumstances Models

15 years 10 months ago

Download www.cril.univ-artois.fr

Bertrand Mazure, Lakhdar Sais, Éric Gr&eacu...

claim paper

Read More »

131

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 »

128

click to vote

ICALP
1993
Springer

78views Programming Languages» more ICALP 1993»

Local Model Checking for Context-Free Processes

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers