1791 search results - page 6 / 359 » Two Types of Multiple-Conclusion Systems |
CORR
2010
Springer
13 years 4 months ago
2010
Springer
After two decades of repository development, some conclusions may be drawn as to which type of repository and what kind of service best supports digital scholarly communication, a...
ABIALS
2008
Springer
14 years 1 months ago
2008
Springer
Abstract. We present a model of motor learning based on a combination of Operational Space Control and Optimal Control. Anticipatory processes are used both in the learning of the ...
MCU
2004
13 years 9 months ago
2004
P systems with active membranes using only two electrical charges and only rules of type (a) , i.e., evolution rules used in parallel in the regions of the membrane system, and of ...
ICFP
1999
ACM
13 years 11 months ago
1999
ACM
d Abstract) Assaf J. Kfoury∗ Boston University http://www.cs.bu.edu/˜kfoury Harry G. Mairson† Brandeis University http://www.cs.brandeis.edu/˜mairson Franklyn A. Turbak‡ We...
ICALP
2004
Springer
14 years 26 days ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...