Search Sciweavers | Sciweavers

13651 search results - page 305 / 2731

» Spectral analysis of data

118

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 8 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 »

click to vote

ISMDA
2000
Springer

101views Medical Imaging» more ISMDA 2000»

About the Analysis of Septic Shock Patient Data

15 years 8 months ago

Download www.informatik.uni-frankfurt.de

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

claim paper

Read More »

132

click to vote

DCC
1991
IEEE

130views Computer Graphics» more DCC 1991»

Analysis of Arithmetic Coding for Data Compression

15 years 8 months ago

Download www.ittc.ku.edu

Paul G. Howard, Jeffrey Scott Vitter

claim paper

Read More »

134

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

Download users.ece.utexas.edu

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

claim paper

Read More »

113

click to vote

FAST
2010

140views Operating System» more FAST 2010»

Accelerating Parallel Analysis of Scientific Simulation Data via Zazen

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers