Sciweavers

42507 search results - page 83 / 8502

» On the analysis of

233

SIGMOD
2007
ACM

96views Database» more SIGMOD 2007»

Static analysis of XML processing with data values

16 years 6 months ago

Static analysis of XML processing with data values

Download homepages.inf.ed.ac.uk

Luc Segoufin

claim paper

Read More »

225

SIGMOD
2006
ACM

121views Database» more SIGMOD 2006»

Forensic analysis of database tampering

16 years 6 months ago

Forensic analysis of database tampering

Download tods.acm.org

Kyriacos E. Pavlou, Richard T. Snodgrass

claim paper

Read More »

134

IWCIA
2009
Springer

134views Image Analysis» more IWCIA 2009»

Multi-scale Analysis of Discrete Contours for Unsupervised Noise Detection

16 years 22 days ago

Multi-scale Analysis of Discrete Contours for Unsupervised Noise Detection

Download www.loria.fr

Bertrand Kerautret, Jacques-Olivier Lachaud

claim paper

Read More »

154

TPHOL
2007
IEEE

125views Automated Reasoning» more TPHOL 2007»

Proof Pearl: The Termination Analysis of Terminator

16 years 14 days ago

Proof Pearl: The Termination Analysis of Terminator

Download www.gilith.com

Terminator is a static analysis tool developed by Microsoft Research for proving termination of Windows device drivers written in C. This proof pearl describes a formalization in h...

Joe Hurd

claim paper

Read More »

112

CIVR
2005
Springer

90views Image Analysis» more CIVR 2005»

Lessons for the Future from a Decade of Informedia Video Analysis Research

15 years 11 months ago

Lessons for the Future from a Decade of Informedia Video Analysis Research

Download www.comp.nus.edu.sg

Alexander G. Hauptmann

claim paper

Read More »

« Prev « First page 83 / 8502 Last » Next »