Sciweavers

2980 search results - page 51 / 596

» Computational Geometry

91

TARK
2007
Springer

79views Automated Reasoning» more TARK 2007»

Games, geometry, and the computational complexity of finding equilibria

15 years 9 months ago

Games, geometry, and the computational complexity of finding equilibria

Download www.maths.lse.ac.uk

Bernhard von Stengel

claim paper

Read More »

102

ADG
2004
Springer

101views Mathematics» more ADG 2004»

Mechanical Theorem Proving in Computational Geometry

15 years 8 months ago

Mechanical Theorem Proving in Computational Geometry

Download homepages.inf.ed.ac.uk

Laura I. Meikle, Jacques D. Fleuriot

claim paper

Read More »

107

FORMATS
2004
Springer

84views Formal Methods» more FORMATS 2004»

Computing Schedules for Multithreaded Real-Time Programs Using Geometry

15 years 8 months ago

Computing Schedules for Multithreaded Real-Time Programs Using Geometry

Download www-verimag.imag.fr

Philippe Gerner, Thao Dang

claim paper

Read More »

110

ISSAC
2004
Springer

129views Mathematics» more ISSAC 2004»

Numerical algebraic geometry and symbolic computation

15 years 8 months ago

Numerical algebraic geometry and symbolic computation

Download www.math.uic.edu

Jan Verschelde

claim paper

Read More »

74

Voted

WADS
2001
Springer

105views Algorithms» more WADS 2001»

Secure Multi-party Computational Geometry

15 years 7 months ago

Secure Multi-party Computational Geometry

Download www.cerias.purdue.edu

Mikhail J. Atallah, Wenliang Du

claim paper

Read More »

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