Sciweavers

11436 search results - page 27 / 2288

» Modeling Real Reasoning

78

CL
2004
Springer

77views Automated Reasoning» more CL 2004»

Unanticipated integration of development tools using the classification model

14 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 »

59

CSL
2000
Springer

76views Automated Reasoning» more CSL 2000»

Structured language modeling

14 years 9 months ago

Structured language modeling

Download acl.ldc.upenn.edu

Ciprian Chelba, Frederick Jelinek

claim paper

Read More »

51

CSL
2002
Springer

106views Automated Reasoning» more CSL 2002»

A Fully Abstract Relational Model of Syntactic Control of Interference

14 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 »

63

CSL
1998
Springer

82views Automated Reasoning» more CSL 1998»

Scaled random trajectory segment models

14 years 9 months ago

Scaled random trajectory segment models

Download www.eng.biu.ac.il

Jacob Goldberger, David Burshtein

claim paper

Read More »

77

LPAR
2010
Springer

135views Automated Reasoning» more LPAR 2010»

PBINT, A Logic for Modelling Search Problems Involving Arithmetic

14 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 27 / 2288 Last » Next »