Search Sciweavers | Sciweavers

13651 search results - page 305 / 2731

» Spectral analysis of data

149

click to vote

APSEC
2003
IEEE

83views Software Engineering» more APSEC 2003»

An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics

15 years 10 months ago

Download cswww.essex.ac.uk

This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...

Moshe Deutsch, Martin C. Henson

claim paper

Read More »

127

click to vote

ISMDA
2000
Springer

101views Medical Imaging» more ISMDA 2000»

About the Analysis of Septic Shock Patient Data

15 years 10 months ago

Download www.informatik.uni-frankfurt.de

Jürgen Paetz, Fred Henrik Hamker, Sven Th&oum...

claim paper

Read More »

162

click to vote

DCC
1991
IEEE

130views Computer Graphics» more DCC 1991»

Analysis of Arithmetic Coding for Data Compression

15 years 10 months ago

Download www.ittc.ku.edu

Paul G. Howard, Jeffrey Scott Vitter

claim paper

Read More »

172

click to vote

ASM
2010
ASM

246views Computational Biology» more ASM 2010»

A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking

15 years 10 months ago

Download users.ece.utexas.edu

Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dew...

claim paper

Read More »

144

click to vote

FAST
2010

140views Operating System» more FAST 2010»

Accelerating Parallel Analysis of Scientific Simulation Data via Zazen

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers