Search Sciweavers | Sciweavers

912 search results - page 3 / 183

» Abstract Saturation-Based Inference

117

click to vote

SP
2006
IEEE

129views Security Privacy» more SP 2006»

Practical Inference Control for Data Cubes (Extended Abstract)

15 years 10 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 10 months ago

Download www.stanford.edu

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

claim paper

Read More »

126

click to vote

ICCL
1994
IEEE

95views Programming Languages» more ICCL 1994»

Binding-time Analysis: Abstract Interpretation versus Type Inference

15 years 8 months ago

Download www.cs.ucla.edu

Jens Palsberg, Michael I. Schwartzbach

claim paper

Read More »

114

click to vote

DIS
2009
Springer

105views Theoretical Computer Science» more DIS 2009»

Inference and Learning in Planning (Extended Abstract)

15 years 8 months ago

Download www.dtic.upf.edu

Hector Geffner

claim paper

Read More »

105

click to vote

BIRTHDAY
2006
Springer

106views Applied Computing» more BIRTHDAY 2006»

Completion Is an Instance of Abstract Canonical System Inference

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers