Sciweavers

102291 search results - page 40 / 20459

» Computability in Computational Geometry

111

Voted

ADG
2004
Springer

101views Mathematics» more ADG 2004»

Mechanical Theorem Proving in Computational Geometry

15 years 9 months ago

Mechanical Theorem Proving in Computational Geometry

Download homepages.inf.ed.ac.uk

Laura I. Meikle, Jacques D. Fleuriot

claim paper

Read More »

113

Voted

FORMATS
2004
Springer

84views Formal Methods» more FORMATS 2004»

Computing Schedules for Multithreaded Real-Time Programs Using Geometry

15 years 9 months ago

Computing Schedules for Multithreaded Real-Time Programs Using Geometry

Download www-verimag.imag.fr

Philippe Gerner, Thao Dang

claim paper

Read More »

115

ISSAC
2004
Springer

129views Mathematics» more ISSAC 2004»

Numerical algebraic geometry and symbolic computation

15 years 9 months ago

Numerical algebraic geometry and symbolic computation

Download www.math.uic.edu

Jan Verschelde

claim paper

Read More »

81

Voted

WADS
2001
Springer

105views Algorithms» more WADS 2001»

Secure Multi-party Computational Geometry

15 years 8 months ago

Secure Multi-party Computational Geometry

Download www.cerias.purdue.edu

Mikhail J. Atallah, Wenliang Du

claim paper

Read More »

85

Voted

HICSS
1994
IEEE

86views Biometrics» more HICSS 1994»

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

15 years 8 months 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 »