Search Sciweavers | Sciweavers

5754 search results - page 74 / 1151

» Multi-class Model M

131

click to vote

DAC
1990
ACM

86views Computer Architecture» more DAC 1990»

Sequential Circuit Verification Using Symbolic Model Checking

15 years 10 months ago

Download www.cadence.com

Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMil...

claim paper

Read More »

117

click to vote

CDC
2009
IEEE

112views Control Systems» more CDC 2009»

A convex approximation for parameter estimation involving parameter-affine dynamic models

15 years 9 months ago

Download www.nt.ntnu.no

Julian Bonilla Alarcon, Moritz Diehl, Filip Logist...

claim paper

Read More »

146

click to vote

WOTUG
2008

139views Computer Science» more WOTUG 2008»

A CSP Model for Mobile Channels

15 years 7 months ago

Download www.cs.kent.ac.uk

CSP processes have a static view of their environment

Peter H. Welch, Fred R. M. Barnes

claim paper

Read More »

104

click to vote

ISMB
1997

93views Computational Biology» more ISMB 1997»

Protein Model Representation and Construction

15 years 7 months ago

Download www.aaai.org

M. Sullivan, Janice I. Glasgow, Evan W. Steeg, Lau...

claim paper

Read More »

119

click to vote

NAACL
1994

80views Computational Linguistics» more NAACL 1994»

Decision Tree Parsing using a Hidden Derivation Model

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers