Search Sciweavers | Sciweavers

15120 search results - page 223 / 3024

» Learning with Local Models

118

click to vote

ACISP
2008
Springer

96views Security Privacy» more ACISP 2008»

Distributed Verification of Mixing - Local Forking Proofs Model

16 years 26 days ago

Download kutylowski.im.pwr.wroc.pl

Jacek Cichon, Marek Klonowski, Miroslaw Kutylowski

claim paper

Read More »

137

click to vote

AUSAI
2007
Springer

84views Artificial Intelligence» more AUSAI 2007»

A Parameterized Local Consistency for Redundant Modeling in Weighted CSPs

16 years 21 days ago

Download www.cse.cuhk.edu.hk

Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo

claim paper

Read More »

138

click to vote

CSL
2007
Springer

111views Automated Reasoning» more CSL 2007»

Model-Checking First-Order Logic: Automata and Locality

16 years 20 days ago

Download www.cl.cam.ac.uk

Anuj Dawar

claim paper

Read More »

154

click to vote

ICNP
2006
IEEE

93views Computer Networks» more ICNP 2006»

Modeling Heterogeneous User Churn and Local Resilience of Unstructured P2P Networks

16 years 16 days ago

Download irl.cs.tamu.edu

Zhongmei Yao, Derek Leonard, Xiaoming Wang, Dmitri...

claim paper

Read More »

113

click to vote

MFCS
2005
Springer

90views Theoretical Computer Science» more MFCS 2005»

A Bridge Between the Asynchronous Message Passing Model and Local Computations in Graphs

16 years 5 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers