3239 search results - page 645 / 648 » A Logical Process Calculus |
125
click to vote
BMCBI
2004
15 years 8 days ago
2004
Background: For the purposes of finding and aligning noncoding RNA gene- and cis-regulatory elements in multiple-genome datasets, it is useful to be able to derive multi-sequence ...
122
click to vote
CAS
2004
15 years 8 days ago
2004
Accounting for human activity through physics does not require anything more than a switch of mind. Objectivity needs first to be recognized as an epistemological principle that s...
96
Voted
CORR
2000
Springer
15 years 6 days ago
2000
Springer
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...
133
click to vote
DEDS
2000
15 years 6 days ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
115
click to vote
NJC
2000
15 years 5 days ago
2000
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...