Sciweavers

11436 search results - page 27 / 2288

» Modeling Real Reasoning

41

CL
2004
Springer

77views Automated Reasoning» more CL 2004»

Unanticipated integration of development tools using the classification model

13 years 10 months ago

Unanticipated integration of development tools using the classification model

Download scg.unibe.ch

Roel Wuyts, Stéphane Ducasse

claim paper

Read More »

29

CSL
2000
Springer

76views Automated Reasoning» more CSL 2000»

Structured language modeling

13 years 10 months ago

Structured language modeling

Download acl.ldc.upenn.edu

Ciprian Chelba, Frederick Jelinek

claim paper

Read More »

27

CSL
2002
Springer

106views Automated Reasoning» more CSL 2002»

A Fully Abstract Relational Model of Syntactic Control of Interference

13 years 10 months ago

A Fully Abstract Relational Model of Syntactic Control of Interference

Download www.cs.bath.ac.uk

Guy McCusker

claim paper

Read More »

25

CSL
1998
Springer

82views Automated Reasoning» more CSL 1998»

Scaled random trajectory segment models

13 years 10 months ago

Scaled random trajectory segment models

Download www.eng.biu.ac.il

Jacob Goldberger, David Burshtein

claim paper

Read More »

36

LPAR
2010
Springer

135views Automated Reasoning» more LPAR 2010»

PBINT, A Logic for Modelling Search Problems Involving Arithmetic

13 years 9 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 27 / 2288 Last » Next »