Search Sciweavers | Sciweavers

9521 search results - page 233 / 1905

» Compiling with continuations, continued

117

Voted

CMSB
2006
Springer

109views Applied Computing» more CMSB 2006»

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

15 years 7 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 »

Voted

ECOOP
2006
Springer

118views Programming Languages» more ECOOP 2006»

The Continuing Quest for Abstraction

15 years 7 months ago

Download web.media.mit.edu

Henry Lieberman

claim paper

Read More »

142

Voted

FORMATS
2006
Springer

127views Formal Methods» more FORMATS 2006»

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

15 years 7 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 »

134

click to vote

FSKD
2006
Springer

115views Fuzzy Logic» more FSKD 2006»

Improvement of Decision Accuracy Using Discretization of Continuous Attributes

15 years 7 months ago

Download www.infm.ulst.ac.uk

Abstract. The na

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