Sciweavers

102291 search results - page 40 / 20459

» Computability in Computational Geometry

27

ADG
2004
Springer

101views Mathematics» more ADG 2004»

Mechanical Theorem Proving in Computational Geometry

14 years 1 months ago

Mechanical Theorem Proving in Computational Geometry

Download homepages.inf.ed.ac.uk

Laura I. Meikle, Jacques D. Fleuriot

claim paper

Read More »

22

FORMATS
2004
Springer

84views Formal Methods» more FORMATS 2004»

Computing Schedules for Multithreaded Real-Time Programs Using Geometry

14 years 1 months ago

Computing Schedules for Multithreaded Real-Time Programs Using Geometry

Download www-verimag.imag.fr

Philippe Gerner, Thao Dang

claim paper

Read More »

25

ISSAC
2004
Springer

129views Mathematics» more ISSAC 2004»

Numerical algebraic geometry and symbolic computation

14 years 1 months ago

Numerical algebraic geometry and symbolic computation

Download www.math.uic.edu

Jan Verschelde

claim paper

Read More »

20

WADS
2001
Springer

105views Algorithms» more WADS 2001»

Secure Multi-party Computational Geometry

14 years 27 days ago

Secure Multi-party Computational Geometry

Download www.cerias.purdue.edu

Mikhail J. Atallah, Wenliang Du

claim paper

Read More »

15

HICSS
1994
IEEE

86views Biometrics» more HICSS 1994»

Multiple Criteria BSR: An Implementation and Applications to Computational Geometry Problems

14 years 18 days ago

Multiple Criteria BSR: An Implementation and Applications to Computational Geometry Problems

Download www.site.uottawa.ca

Selim G. Akl, Ivan Stojmenovic

claim paper

Read More »

« Prev « First page 40 / 20459 Last » Next »