Sciweavers

10304 search results - page 291 / 2061
» Computer science with the sciences: an emphasis in computati...
Sort
View
CSR
2007
Springer
15 years 6 months ago
Sampling-based robot motion planning: Towards realistic applications
Konstantinos I. Tsianos, Ioan Alexandru Sucan, Lyd...
CAD
2002
Springer
15 years 6 months ago
Geometric constraint solving with conics and linkages
Xiao-Shan Gao, Kun Jiang, Chang-Cai Zhu
CAD
1999
Springer
15 years 6 months ago
Object reconstruction by incorporating geometric constraints in reverse engineering
Naoufel Werghi, Robert B. Fisher, Craig Robertson,...
TCS
1998
15 years 6 months ago
A Hierarchy Based on Output Multiplicity
Ashish V. Naik, John D. Rogers, James S. Royer, Al...
TCS
1998
15 years 6 months ago
Decidability of Bisimulation Equivalence for Normed Pushdown Processes
We prove that bisimulation equivalence is decidable for normed pushdown processes.
Colin Stirling