Search Sciweavers | Sciweavers

15792 search results - page 76 / 3159

» Computational Abstraction Steps

click to vote

BIRTHDAY
2004
Springer

84views Applied Computing» more BIRTHDAY 2004»

Die Verdichtung textuellen Wissens zu Information - Vom Wandel methodischer Paradigmen beim automatischen Abstracting

14 years 2 months ago

Download www.informationswissenschaft.org

Udo Hahn

claim paper

Read More »

click to vote

RTA
2004
Springer

108views Theoretical Computer Science» more RTA 2004»

A Verification Technique Using Term Rewriting Systems and Abstract Interpretation

14 years 2 months ago

Download css.jaist.ac.jp

Toshinori Takai

claim paper

Read More »

click to vote

CAMAD
2009
IEEE

122views Computer Networks» more CAMAD 2009»

Experimental Evaluation of Simulation Abstractions for Wireless Sensor Network MAC Protocols

14 years 1 months ago

Download www.st.ewi.tudelft.nl

Gertjan P. Halkes, Koen Langendoen

claim paper

Read More »

click to vote

NPAR
2000
ACM

158views Computer Animation» more NPAR 2000»

Interactive dynamic abstraction

14 years 1 months ago

Download www.snibbe.com

Scott S. Snibbe, Golan Levin

claim paper

Read More »

click to vote

ASM
2000
ASM

111views Computational Biology» more ASM 2000»

Model Checking Abstract State Machines and Beyond

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers