Search Sciweavers | Sciweavers

29046 search results - page 481 / 5810

» Computable Models

191

click to vote

SPIN
2001
Springer

144views Theoretical Computer Science» more SPIN 2001»

Directed Explicit Model Checking with HSF-SPIN

15 years 11 months ago

Download www.albertolluch.com

Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Le...

claim paper

Read More »

131

click to vote

WG
2001
Springer

69views Theoretical Computer Science» more WG 2001»

Planarity of the 2-Level Cactus Model

15 years 11 months ago

Download www.ub.uni-konstanz.de

Sabine Cornelsen, Yefim Dinitz, Dorothea Wagner

claim paper

Read More »

101

click to vote

SAC
2000
ACM

87views Applied Computing» more SAC 2000»

Modeling of Time and Document Aging for Request Prediction - One Step Further

15 years 11 months ago

Download wiki.uni.lu

Ernst Georg Haffner, Uwe Roth, Thomas Engel, Chris...

claim paper

Read More »

153

click to vote

AMDO
2000
Springer

94views Computer Graphics» more AMDO 2000»

Robust Manipulation of Deformable Objects Using Model Based Technique

15 years 11 months ago

Download www.mint.se.ritsumei.ac.jp

Takahiro Wada, Shinichi Hirai, H. Mori, Sadao Kawa...

claim paper

Read More »

156

click to vote

ECCV
2000
Springer

123views Computer Vision» more ECCV 2000»

Layer Extraction with a Bayesian Model of Shapes

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers