Sciweavers

4850 search results - page 51 / 970

» Proof and Computation in Geometry

81

FORMATS
2004
Springer

84views Formal Methods» more FORMATS 2004»

Computing Schedules for Multithreaded Real-Time Programs Using Geometry

15 years 4 months ago

Computing Schedules for Multithreaded Real-Time Programs Using Geometry

Download www-verimag.imag.fr

Philippe Gerner, Thao Dang

claim paper

Read More »

76

ISSAC
2004
Springer

129views Mathematics» more ISSAC 2004»

Numerical algebraic geometry and symbolic computation

15 years 4 months ago

Numerical algebraic geometry and symbolic computation

Download www.math.uic.edu

Jan Verschelde

claim paper

Read More »

48

WADS
2001
Springer

105views Algorithms» more WADS 2001»

Secure Multi-party Computational Geometry

15 years 3 months ago

Secure Multi-party Computational Geometry

Download www.cerias.purdue.edu

Mikhail J. Atallah, Wenliang Du

claim paper

Read More »

51

HICSS
1994
IEEE

86views Biometrics» more HICSS 1994»

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

15 years 3 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 »

79

STOC
1994
ACM

103views Algorithms» more STOC 1994»

Computational geometry: a retrospective

15 years 3 months ago

Computational geometry: a retrospective

Download www.cs.princeton.edu

Bernard Chazelle

claim paper

Read More »

« Prev « First page 51 / 970 Last » Next »