Search Sciweavers | Sciweavers

4573 search results - page 202 / 915

» Automated Reasoning

121

click to vote

FLOPS
2010
Springer

262views Automated Reasoning» more FLOPS 2010»

Defunctionalized Interpreters for Call-by-Need Evaluation

16 years 1 months ago

Download www.zerny.dk

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

claim paper

Read More »

133

click to vote

FLOPS
2010
Springer

310views Automated Reasoning» more FLOPS 2010»

PiSigma: Dependent Types without the Sugar

16 years 1 months ago

Download www.cs.nott.ac.uk

Thorsten Altenkirch, Nils Anders Danielsson, Andre...

claim paper

Read More »

155

click to vote

GIS
2009
ACM

194views Automated Reasoning» more GIS 2009»

16 years 1 months ago

A dissimilarity function for clustering geospatial polygons

Download cse.unl.edu

Deepti Joshi, Ashok Samal, Leen-Kiat Soh

claim paper

Read More »

177

click to vote

LICS
2009
IEEE

118views Automated Reasoning» more LICS 2009»

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

16 years 1 months ago

Download eprints.eemcs.utwente.nl

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

claim paper

Read More »

150

click to vote

TPHOL
2009
IEEE

236views Automated Reasoning» more TPHOL 2009»

Packaging Mathematical Structures

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers