Search Sciweavers | Sciweavers

12289 search results - page 399 / 2458

» computing 2006

144

click to vote

3DPVT
2006
IEEE

126views Visualization» more 3DPVT 2006»

An Efficient Error-Bounded General Camera Model

16 years 25 days ago

Download www.cs.purdue.edu

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

claim paper

Read More »

122

click to vote

LICS
2006
IEEE

62views Automated Reasoning» more LICS 2006»

Approximation Schemes for First-Order Definable Optimisation Problems

16 years 23 days ago

Download www.newton.ac.uk

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

claim paper

Read More »

126

click to vote

LICS
2006
IEEE

104views Automated Reasoning» more LICS 2006»

Approximate Satisfiability and Equivalence

16 years 23 days ago

Download www.cs.technion.ac.il

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

claim paper

Read More »

151

click to vote

LICS
2006
IEEE

89views Automated Reasoning» more LICS 2006»

Stochastic Games with Branching-Time Winning Objectives

16 years 23 days ago

Download www.fi.muni.cz

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

claim paper

Read More »

179

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 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers