Search Sciweavers | Sciweavers

5754 search results - page 74 / 1151

» Multi-class Model M

107

click to vote

DAC
1990
ACM

86views Computer Architecture» more DAC 1990»

Sequential Circuit Verification Using Symbolic Model Checking

15 years 8 months ago

Download www.cadence.com

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

claim paper

Read More »

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 7 months ago

Download www.nt.ntnu.no

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

claim paper

Read More »

115

click to vote

WOTUG
2008

139views Computer Science» more WOTUG 2008»

A CSP Model for Mobile Channels

15 years 5 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 »

click to vote

ISMB
1997

93views Computational Biology» more ISMB 1997»

Protein Model Representation and Construction

15 years 5 months ago

Download www.aaai.org

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

claim paper

Read More »

click to vote

NAACL
1994

80views Computational Linguistics» more NAACL 1994»

Decision Tree Parsing using a Hidden Derivation Model

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers