Search Sciweavers | Sciweavers

2372 search results - page 42 / 475

» IS 2012

163

click to vote

ML
2012
ACM

332views Machine Learning» more ML 2012»

ILP turns 20 - Biography and future challenges

14 years 1 months ago

Download www.cse.sc.edu

Stephen Muggleton, Luc De Raedt, David Poole, Ivan...

claim paper

Read More »

118

click to vote

PEPM
2012
ACM

241views Software Engineering» more PEPM 2012»

Well-typed narrowing with extra variables in functional-logic programming

14 years 1 months ago

Download federwin.sip.ucm.es

Francisco Javier López-Fraguas, Enrique Mar...

claim paper

Read More »

118

click to vote

POPL
2012
ACM

257views Programming Languages» more POPL 2012»

Canonicity for 2-dimensional type theory

14 years 1 months ago

Download www.cs.cmu.edu

nvenient way of pattern-matching against abstract data types. Publications: Dissertation

Daniel R. Licata, Robert Harper

claim paper

Read More »

153

Voted

SI3D
2012
ACM

278views Computer Graphics» more SI3D 2012»

Delta radiance transfer

14 years 1 months ago

Download www.cs.utah.edu

Bradford James Loos, Derek Nowrouzezahrai, Wojciec...

claim paper

Read More »

121

Voted

TSP
2012

339views Artificial Intelligence» more TSP 2012»

Superimposed Training-Based Channel Estimation and Data Detection for OFDM Amplify-and-Forward Cooperative Systems Under High Mo

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers