Search Sciweavers | Sciweavers

912 search results - page 3 / 183

» Abstract Saturation-Based Inference

106

click to vote

SP
2006
IEEE

129views Security Privacy» more SP 2006»

Practical Inference Control for Data Cubes (Extended Abstract)

15 years 8 months ago

Download cimic.rutgers.edu

Yingjiu Li, Haibing Lu, Robert H. Deng

claim paper

Read More »

click to vote

ISSTA
2006
ACM

110views Software Engineering» more ISSTA 2006»

Dynamic inference of abstract types

15 years 8 months ago

Download www.stanford.edu

Philip J. Guo, Jeff H. Perkins, Stephen McCamant, ...

claim paper

Read More »

109

click to vote

ICCL
1994
IEEE

95views Programming Languages» more ICCL 1994»

Binding-time Analysis: Abstract Interpretation versus Type Inference

15 years 7 months ago

Download www.cs.ucla.edu

Jens Palsberg, Michael I. Schwartzbach

claim paper

Read More »

102

click to vote

DIS
2009
Springer

105views Theoretical Computer Science» more DIS 2009»

Inference and Learning in Planning (Extended Abstract)

15 years 6 months ago

Download www.dtic.upf.edu

Hector Geffner

claim paper

Read More »

click to vote

BIRTHDAY
2006
Springer

106views Applied Computing» more BIRTHDAY 2006»

Completion Is an Instance of Abstract Canonical System Inference

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers