Search Sciweavers | Sciweavers

13306 search results - page 195 / 2662

» Theoretical Computer Science

112

click to vote

CAD
2002
Springer

76views Theoretical Computer Science» more CAD 2002»

Geometric constraint solving with conics and linkages

15 years 6 months ago

Download www.iss.ac.cn

Xiao-Shan Gao, Kun Jiang, Chang-Cai Zhu

claim paper

Read More »

126

click to vote

DLT
2009

90views Theoretical Computer Science» more DLT 2009»

Weighted Timed MSO Logics

15 years 4 months ago

Download www.informatik.uni-leipzig.de

We aim to generalize B

Karin Quaas

claim paper

Read More »

199

click to vote

TCS
2011

155views Theoretical Computer Science» more TCS 2011»

Musings around the geometry of interaction, and coherence

15 years 1 months ago

Download www.lsv.ens-cachan.fr

We introduce the Danos-Régnier category

Jean Goubault-Larrecq

claim paper

Read More »

157

click to vote

TCSV
2011

191views Theoretical Computer Science» more TCSV 2011»

Depth Coding Using a Boundary Reconstruction Filter for 3-D Video Systems

15 years 22 days ago

Download www.merl.com

Kwan-Jung Oh, Anthony Vetro, Yo-Sung Ho

claim paper

Read More »

147

Voted

SOFSEM
2010
Springer

99views Theoretical Computer Science» more SOFSEM 2010»

A Rule Format for Unit Elements

16 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers