Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
4502
search results - page 52 / 901
»
Regular Model Checking
Sort
relevance
views
votes
recent
update
View
thumb
title
23
click to vote
IGPL
2008
66
views
more
IGPL 2008
»
Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics
13 years 10 months ago
Download
www.mimuw.edu.pl
Linh Anh Nguyen
claim paper
Read More »
20
click to vote
IJCM
2007
60
views
more
IJCM 2007
»
Multilevel algorithm for a Poisson noise removal model with total-variation regularization
13 years 9 months ago
Download
www.math.cuhk.edu.hk
Iain S. Duff, Serge Gratton, Xavier Pinel, Xavier ...
claim paper
Read More »
23
click to vote
RSA
2006
92
views
more
RSA 2006
»
Slow mixing of Glauber dynamics for the hard-core model on regular bipartite graphs
13 years 9 months ago
Download
www.nd.edu
David Galvin, Prasad Tetali
claim paper
Read More »
13
click to vote
NECO
2002
58
views
more
NECO 2002
»
A Simple Model of Long-Term Spike Train Regularization
13 years 9 months ago
Download
nelson.beckman.illinois.edu
Relly Brandman, Mark E. Nelson
claim paper
Read More »
17
click to vote
SAC
2010
ACM
126
views
Applied Computing
»
more
SAC 2010
»
Estimation and regularization techniques for regression models with multidimensional prediction functions
13 years 8 months ago
Download
epub.ub.uni-muenchen.de
Matthias Schmid, Sergej Potapov, Annette Pfahlberg...
claim paper
Read More »
« Prev
« First
page 52 / 901
Last »
Next »