Sciweavers

7213 search results - page 13 / 1443

» Automated model grouping

36

CL
2004
Springer

77views Automated Reasoning» more CL 2004»

Unanticipated integration of development tools using the classification model

13 years 9 months ago

Unanticipated integration of development tools using the classification model

Download scg.unibe.ch

Roel Wuyts, Stéphane Ducasse

claim paper

Read More »

25

CSL
2000
Springer

76views Automated Reasoning» more CSL 2000»

Structured language modeling

13 years 9 months ago

Structured language modeling

Download acl.ldc.upenn.edu

Ciprian Chelba, Frederick Jelinek

claim paper

Read More »

22

CSL
2002
Springer

106views Automated Reasoning» more CSL 2002»

A Fully Abstract Relational Model of Syntactic Control of Interference

13 years 9 months ago

A Fully Abstract Relational Model of Syntactic Control of Interference

Download www.cs.bath.ac.uk

Guy McCusker

claim paper

Read More »

23

CSL
1998
Springer

82views Automated Reasoning» more CSL 1998»

Scaled random trajectory segment models

13 years 9 months ago

Scaled random trajectory segment models

Download www.eng.biu.ac.il

Jacob Goldberger, David Burshtein

claim paper

Read More »

29

LPAR
2010
Springer

135views Automated Reasoning» more LPAR 2010»

PBINT, A Logic for Modelling Search Problems Involving Arithmetic

13 years 8 months ago

PBINT, A Logic for Modelling Search Problems Involving Arithmetic

Download www.cs.sfu.ca

Shahab Tasharrofi, Eugenia Ternovska

claim paper

Read More »

« Prev « First page 13 / 1443 Last » Next »