Sciweavers

8337 search results - page 40 / 1668

» Reasoning With Characteristic Models

26

GIS
2007
ACM

148views Automated Reasoning» more GIS 2007»

Polygon-based texture mapping for cyber city 3D building models

13 years 8 months ago

Polygon-based texture mapping for cyber city 3D building models

Download gcl.csrsr.ncu.edu.tw

F. Tsai, H.-C. Lin

claim paper

Read More »

33

CL
2004
Springer

77views Automated Reasoning» more CL 2004»

Unanticipated integration of development tools using the classification model

13 years 8 months ago

Unanticipated integration of development tools using the classification model

Download scg.unibe.ch

Roel Wuyts, Stéphane Ducasse

claim paper

Read More »

24

CSL
2000
Springer

76views Automated Reasoning» more CSL 2000»

Structured language modeling

13 years 8 months ago

Structured language modeling

Download acl.ldc.upenn.edu

Ciprian Chelba, Frederick Jelinek

claim paper

Read More »

21

CSL
2002
Springer

106views Automated Reasoning» more CSL 2002»

A Fully Abstract Relational Model of Syntactic Control of Interference

13 years 8 months ago

A Fully Abstract Relational Model of Syntactic Control of Interference

Download www.cs.bath.ac.uk

Guy McCusker

claim paper

Read More »

22

CSL
1998
Springer

82views Automated Reasoning» more CSL 1998»

Scaled random trajectory segment models

13 years 8 months ago

Scaled random trajectory segment models

Download www.eng.biu.ac.il

Jacob Goldberger, David Burshtein

claim paper

Read More »

« Prev « First page 40 / 1668 Last » Next »