Search Sciweavers | Sciweavers

4573 search results - page 202 / 915

» Automated Reasoning

click to vote

FLOPS
2010
Springer

262views Automated Reasoning» more FLOPS 2010»

Defunctionalized Interpreters for Call-by-Need Evaluation

15 years 10 months ago

Download www.zerny.dk

Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zer...

claim paper

Read More »

click to vote

FLOPS
2010
Springer

310views Automated Reasoning» more FLOPS 2010»

PiSigma: Dependent Types without the Sugar

15 years 10 months ago

Download www.cs.nott.ac.uk

Thorsten Altenkirch, Nils Anders Danielsson, Andre...

claim paper

Read More »

120

click to vote

GIS
2009
ACM

194views Automated Reasoning» more GIS 2009»

15 years 10 months ago

A dissimilarity function for clustering geospatial polygons

Download cse.unl.edu

Deepti Joshi, Ashok Samal, Leen-Kiat Soh

claim paper

Read More »

134

Voted

LICS
2009
IEEE

118views Automated Reasoning» more LICS 2009»

Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

15 years 10 months ago

Download eprints.eemcs.utwente.nl

Taolue Chen, Tingting Han, Joost-Pieter Katoen, Al...

claim paper

Read More »

113

Voted

TPHOL
2009
IEEE

236views Automated Reasoning» more TPHOL 2009»

Packaging Mathematical Structures

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers