Search Sciweavers | Sciweavers

4502 search results - page 52 / 901

» Regular Model Checking

132

click to vote

IGPL
2008

66views more IGPL 2008»

Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics

15 years 6 months ago

Download www.mimuw.edu.pl

Linh Anh Nguyen

claim paper

Read More »

127

click to vote

IJCM
2007

60views more IJCM 2007»

Multilevel algorithm for a Poisson noise removal model with total-variation regularization

15 years 6 months ago

Download www.math.cuhk.edu.hk

Iain S. Duff, Serge Gratton, Xavier Pinel, Xavier ...

claim paper

Read More »

112

click to vote

RSA
2006

92views more RSA 2006»

Slow mixing of Glauber dynamics for the hard-core model on regular bipartite graphs

15 years 6 months ago

Download www.nd.edu

David Galvin, Prasad Tetali

claim paper

Read More »

101

click to vote

NECO
2002

58views more NECO 2002»

A Simple Model of Long-Term Spike Train Regularization

15 years 6 months ago

Download nelson.beckman.illinois.edu

Relly Brandman, Mark E. Nelson

claim paper

Read More »

128

click to vote

SAC
2010
ACM

126views Applied Computing» more SAC 2010»

Estimation and regularization techniques for regression models with multidimensional prediction functions

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers