Sciweavers

4573 search results - page 20 / 915

» Automated Reasoning

94

TIME
1999
IEEE

75views Automated Reasoning» more TIME 1999»

A Geometric Framework for Specifying Spatiotemporal Objects

15 years 8 months ago

A Geometric Framework for Specifying Spatiotemporal Objects

Download cse.unl.edu

Jan Chomicki, Peter Z. Revesz

claim paper

Read More »

102

Voted

FLOPS
1999
Springer

81views Automated Reasoning» more FLOPS 1999»

The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code

15 years 8 months ago

The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code

Download www.pllab.riec.tohoku.ac.jp

Atsushi Ohori

claim paper

Read More »

97

FLOPS
1999
Springer

104views Automated Reasoning» more FLOPS 1999»

An Extensional Characterization of Lambda-Lifting and Lambda-Dropping

15 years 8 months ago

An Extensional Characterization of Lambda-Lifting and Lambda-Dropping

Download www.brics.dk

Olivier Danvy

claim paper

Read More »

113

GIS
1999
ACM

125views Automated Reasoning» more GIS 1999»

Ontology-Driven Geographic Information Systems

15 years 8 months ago

Ontology-Driven Geographic Information Systems

Download www.library.umaine.edu

Frederico T. Fonseca, Max J. Egenhofer

claim paper

Read More »

106

GIS
1999
ACM

107views Automated Reasoning» more GIS 1999»

Progressive Vector Transmission

15 years 8 months ago

Progressive Vector Transmission

Download www.spatial.maine.edu

Michela Bertolotto, Max J. Egenhofer

claim paper

Read More »

« Prev « First page 20 / 915 Last » Next »