1835 search results - page 154 / 367 » Functional Programming of Behavior-Based Systems |
148
click to vote
AUTOMATICA
2008
15 years 5 months ago
2008
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...
159
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
We explore partial type-inference for System F based on type-containment. We consider both cases of a purely functional semantics and a call-by-value stateful semantics. To enable...
125
Voted
SAC
2010
ACM
15 years 6 months ago
2010
ACM
Service-oriented architecture (SOA) is a relatively new approach to software system development. It divides system functionality to independent, loosely coupled, interoperable ser...
129
click to vote
ISMB
1997
15 years 6 months ago
1997
We present a system of programs designed to facilitate sequence analysis projects involving large amounts of data. SEALS (System for Easy Analysis of Lots of Sequences) is a logic...
117
click to vote
CP
2007
Springer
15 years 11 months ago
2007
Springer
Salinity is the relative concentration of salts in water. In a city of southern China, the local water supply company pumps water from a nearby river for potable use. During the wi...