Search Sciweavers | Sciweavers

7820 search results - page 109 / 1564

» Formalization of Time and Space

154

click to vote

ICVGIP
2008

119views Computer Vision» more ICVGIP 2008»

Multi-resolution Tracking in Space and Time

15 years 7 months ago

Download www.cse.iitd.ernet.in

This paper proposes efficient and robust methods for tracking a moving object at multiple spatial and temporal resolution levels. The efficiency comes from optimising the amounts ...

Sumantra Dutta Roy, Son Dinh Tran, Larry S. Davis,...

claim paper

Read More »

121

click to vote

FOIS
2001

65views Information Technology» more FOIS 2001»

Space, time, matter and things

15 years 7 months ago

Download www.comp.leeds.ac.uk

Brandon Bennett

claim paper

Read More »

162

click to vote

FORTE
2003

105views Formal Methods» more FORTE 2003»

Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?

15 years 7 months ago

Download mtc.epfl.ch

Dirk Beyer, Andreas Noack

claim paper

Read More »

167

click to vote

VMV
2007

158views Visualization» more VMV 2007»

Image-Space GPU Metaballs for Time-Dependent Particle Data Sets

15 years 7 months ago

Download wwwvis.informatik.uni-stuttgart.de

Christoph Müller, Sebastian Grottel, Thomas E...

claim paper

Read More »

115

click to vote

CRYPTO
2010
Springer

121views Cryptology» more CRYPTO 2010»

Time Space Tradeoffs for Attacks against One-Way Functions and PRGs

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers