Search Sciweavers | Sciweavers

12289 search results - page 399 / 2458

» computing 2006

162

click to vote

3DPVT
2006
IEEE

126views Visualization» more 3DPVT 2006»

An Efficient Error-Bounded General Camera Model

16 years 1 months ago

Download www.cs.purdue.edu

Voicu Popescu, Jordan Dauble, Chunhui Mei, Elisha ...

claim paper

Read More »

133

click to vote

LICS
2006
IEEE

62views Automated Reasoning» more LICS 2006»

Approximation Schemes for First-Order Definable Optimisation Problems

16 years 1 months ago

Download www.newton.ac.uk

Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole...

claim paper

Read More »

145

click to vote

LICS
2006
IEEE

104views Automated Reasoning» more LICS 2006»

Approximate Satisfiability and Equivalence

16 years 1 months ago

Download www.cs.technion.ac.il

Eldar Fischer, Frédéric Magniez, Mic...

claim paper

Read More »

163

click to vote

LICS
2006
IEEE

89views Automated Reasoning» more LICS 2006»

Stochastic Games with Branching-Time Winning Objectives

16 years 1 months ago

Download www.fi.muni.cz

Tomás Brázdil, Václav Brozek,...

claim paper

Read More »

191

click to vote

BIOCOMP
2006

118views Bioinformatics» more BIOCOMP 2006»

Analytical Solution of a Spatial Sir Epidemic Model with Memory Inside a Circular Habitat with Endemic Memory using CAS

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers