Search Sciweavers | Sciweavers

2414 search results - page 15 / 483

» Computing Normal Subgroups

click to vote

CVPR
2006
IEEE

216views Computer Vision» more CVPR 2006»

Reconstruction in the Round Using Photometric Normals and Silhouettes.

14 years 1 months ago

Download mi.eng.cam.ac.uk

George Vogiatzis, Carlos Hernández, Roberto...

claim paper

Read More »

click to vote

STACS
1998
Springer

105views Theoretical Computer Science» more STACS 1998»

Local Normal Forms for First-Order Logic with Applications to Games and Automata

13 years 11 months ago

Download www.dmtcs.org

Thomas Schwentick, Klaus Barthelmann

claim paper

Read More »

click to vote

FOCS
1996
IEEE

83views Theoretical Computer Science» more FOCS 1996»

Sampling According to the Multivariate Normal Density

13 years 11 months ago

Download research.microsoft.com

Ravi Kannan, Guangxing Li

claim paper

Read More »

click to vote

TLCA
1993
Springer

113views Theoretical Computer Science» more TLCA 1993»

A Formalization of the Strong Normalization Proof for System F in LEGO

13 years 11 months ago

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper

Read More »

click to vote

DAC
2007
ACM

102views Computer Architecture» more DAC 2007»

Efficient Parametric Yield Extraction for Multiple Correlated Non-Normal Performance Distributions of Analog/RF Circuits

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers