Search Sciweavers | Sciweavers

1096 search results - page 9 / 220

» Abstract Canonical Inference

148

click to vote

JSYML
2007

75views more JSYML 2007»

Stable definability and generic relations

15 years 5 months ago

Download www.math.uwaterloo.ca

Abstract. An amalgamation base p in a simple theory is stably deﬁnable if its canonical base is interdeﬁnable with the set of canonical parameters for the φ-deﬁnitions of p ...

Byunghan Kim, Rahim Moosa

claim paper

Read More »

113

click to vote

ICPR
2004
IEEE

106views computer vision» more ICPR 2004»

Optimal Inference for Hierarchical Skeleton Abstraction

16 years 7 months ago

Download www.cs.toronto.edu

Alexandru Telea, Cristian Sminchisescu, Sven J. Di...

claim paper

Read More »

141

click to vote

RECOMB
2007
Springer

106views Computational Biology» more RECOMB 2007»

Inferring a Duplication, Speciation and Loss History from a Gene Tree (Extended Abstract)

16 years 6 months ago

Download www.cecm.sfu.ca

Cedric Chauve, Jean-Philippe Doyon, Nadia El-Mabro...

claim paper

Read More »

130

click to vote

VMCAI
2009
Springer

114views Software Engineering» more VMCAI 2009»

Constraint-Based Invariant Inference over Predicate Abstraction

16 years 19 days ago

Download research.microsoft.com

Sumit Gulwani, Saurabh Srivastava, Ramarathnam Ven...

claim paper

Read More »

135

click to vote

SP
2006
IEEE

129views Security Privacy» more SP 2006»

Practical Inference Control for Data Cubes (Extended Abstract)

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers