7681 search results - page 103 / 1537 » Typed Membrane Systems |
173
click to vote
DLS
2008
15 years 7 months ago
2008
Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a single language by giving the programmer control over w...
147
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— In order to assist surgeons during surgery on moving organs, e.g. minimally invasive beating heart bypass surgery, a master-slave system which synchronizes surgical instruments...
133
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
There are today several systems for predicting transmembrane domains in membrane protein sequences. As they are based on different classifiers as well as different pre- and post-p...
146
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
Previous type systems for mobility calculi (the original Mobile Ambients, its variants and descendants, e.g., Boxed Ambients and Safe Ambients, and other related systems) offer lit...
138
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a loca...