Search Sciweavers | Sciweavers

9521 search results - page 233 / 1905

» Compiling with continuations, continued

156

click to vote

CMSB
2006
Springer

109views Applied Computing» more CMSB 2006»

Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods

15 years 10 months ago

Download homepages.inf.ed.ac.uk

Abstract. Starting from a biochemical signalling pathway model expressed in a process algebra enriched with quantitative information we automatically derive both continuous-space a...

Muffy Calder, Adam Duguid, Stephen Gilmore, Jane H...

claim paper

Read More »

117

click to vote

ECOOP
2006
Springer

118views Programming Languages» more ECOOP 2006»

The Continuing Quest for Abstraction

15 years 10 months ago

Download web.media.mit.edu

Henry Lieberman

claim paper

Read More »

177

click to vote

FORMATS
2006
Springer

127views Formal Methods» more FORMATS 2006»

A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes

15 years 10 months ago

Download www.cs.famaf.unc.edu.ar

Abstract. Continuous-time Markov decision process are an important variant of labelled transition systems having nondeterminism through labels and stochasticity through exponential...

Nicolás Wolovick, Sven Johr

claim paper

Read More »

182

click to vote

FSKD
2006
Springer

115views Fuzzy Logic» more FSKD 2006»

Improvement of Decision Accuracy Using Discretization of Continuous Attributes

15 years 10 months ago

Download www.infm.ulst.ac.uk

Abstract. The na

Qingxiang Wu, David A. Bell, T. Martin McGinnity, ...