3713 search results - page 243 / 743 » Constructing a Calculus of Programs |
115
click to vote
ANOR
2007
15 years 4 months ago
2007
In this note we review the development of the first commercial branch and bound codes at CEIR/Scicon, with particular emphasis on those features not commonly emphasized today - t...
132
click to vote
TSMC
1998
15 years 3 months ago
1998
—Vehicle dispatching consists of allocating real-time service requests to a fleet of moving vehicles. In this paper, each vehicle is associated with a vector of attribute values...
179
click to vote
PLPV
2012
ACM
13 years 11 months ago
2012
ACM
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...
143
click to vote
CMSB
2009
Springer
15 years 10 months ago
2009
Springer
A major challenge in computational systems biology is the articulation of a biological process in a form which can be understood by the biologist yet is amenable to computational e...
129
Voted
ERSHOV
2009
Springer
15 years 10 months ago
2009
Springer
Kohn’s Molecular Interaction Maps (MIMs) are a graphical notation for describing bioregulatory networks at the molecular level. Even if the meaning of Kohn’s diagrams can be of...