Search Sciweavers | Sciweavers

1195 search results - page 36 / 239

» Modeling an Algebraic Stepper

116

click to vote

ICDM
2007
IEEE

138views Data Mining» more ICDM 2007»

Modeling Fundamental Geo-Raster Operations with Array Algebra

15 years 12 months ago

Download www.faculty.iu-bremen.de

Angelica Garcia Gutierrez, Peter Baumann

claim paper

Read More »

111

click to vote

CASC
2007
Springer

107views Mathematics» more CASC 2007»

An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks

15 years 11 months ago

Download www14.in.tum.de

Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Kat...

claim paper

Read More »

147

click to vote

CAV
2005
Springer

101views Hardware» more CAV 2005»

Algorithmic Algebraic Model Checking I: Challenges from Systems Biology

15 years 11 months ago

Download cs.nyu.edu

Carla Piazza, Marco Antoniotti, Venkatesh Mysore, ...

claim paper

Read More »

125

click to vote

FOSSACS
2005
Springer

109views Software Engineering» more FOSSACS 2005»

Free-Algebra Models for the pi-Calculus

15 years 11 months ago

Download homepages.inf.ed.ac.uk

Ian Stark

claim paper

Read More »

116

click to vote

AINA
2009
IEEE

66views Computer Networks» more AINA 2009»

Modelling Network Performance with a Spatial Stochastic Process Algebra

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers