Search Sciweavers | Sciweavers

10304 search results - page 291 / 2061

» Computer science with the sciences: an emphasis in computati...

139

click to vote

CSR
2007
Springer

86views Theoretical Computer Science» more CSR 2007»

Sampling-based robot motion planning: Towards realistic applications

15 years 6 months ago

Download www.elsevier.com

Konstantinos I. Tsianos, Ioan Alexandru Sucan, Lyd...

claim paper

Read More »

113

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 »

147

click to vote

CAD
1999
Springer

85views Theoretical Computer Science» more CAD 1999»

Object reconstruction by incorporating geometric constraints in reverse engineering

15 years 6 months ago

Download eref.uqu.edu.sa

Naoufel Werghi, Robert B. Fisher, Craig Robertson,...

claim paper

Read More »

151

click to vote

TCS
1998

83views Theoretical Computer Science» more TCS 1998»

A Hierarchy Based on Output Multiplicity

15 years 6 months ago

Download www.cse.buffalo.edu

Ashish V. Naik, John D. Rogers, James S. Royer, Al...

claim paper

Read More »

156

click to vote

TCS
1998

106views Theoretical Computer Science» more TCS 1998»

Decidability of Bisimulation Equivalence for Normed Pushdown Processes

15 years 6 months ago

Download www.lfcs.inf.ed.ac.uk

We prove that bisimulation equivalence is decidable for normed pushdown processes.

Colin Stirling

claim paper

Read More »

« Prev « First page 291 / 2061 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers