Search Sciweavers | Sciweavers

13917 search results - page 77 / 2784

» Abstraction of Probabilistic Systems

click to vote

CTRS
1994

156views Theoretical Computer Science» more CTRS 1994»

Abstract Notions and Inference Systems for Proofs by Mathematical Induction

15 years 1 months ago

Download www.ags.uni-sb.de

Claus-Peter Wirth, Klaus Becker

claim paper

Read More »

click to vote

TPHOL
1994
IEEE

111views Automated Reasoning» more TPHOL 1994»

Automating Verification by Functional Abstraction at the System Level

15 years 1 months ago

Download rsg.informatik.uni-kl.de

Klaus Schneider, Ramayya Kumar, Thomas Kropf

claim paper

Read More »

click to vote

AIIDE
2008

101views Artificial Intelligence» more AIIDE 2008»

Implementation Walkthrough of a Homegrown 'Abstract State Machine' Style System in a Commercial Sports Game

15 years 4 days ago

Download www.aaai.org

Brian Schwab

claim paper

Read More »

click to vote

ASPDAC
2008
ACM

91views Hardware» more ASPDAC 2008»

Automatic generation of hardware dependent software for MPSoCs from abstract system specifications

14 years 11 months ago

Download users.ece.utexas.edu

Gunar Schirner, Andreas Gerstlauer, Rainer Dö...

claim paper

Read More »

click to vote

ATAL
2008
Springer

111views Intelligent Agents» more ATAL 2008»

Protoswarm: a language for programming multi-robot systems using the amorphous medium abstraction

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers