8021 search results - page 25 / 1605 » A Type System for Tom |
APLAS
2008
ACM
13 years 9 months ago
2008
ACM
This paper introduces a new type system designed for safe systems programming. The type system features a new mutability model that combines unboxed types with a consistent typing ...
SASO
2007
IEEE
14 years 1 months ago
2007
IEEE
For self-organising emergent solutions, there is no support to explicitly design system-wide information flows and feedback loops in those flows. This is problematic because the...
ESOA
2006
13 years 11 months ago
2006
There is little or no guidance to systematically design a self-organising emergent solution that achieves the desired macroscopic behaviour. This paper describes decentralised coor...
ACL
1994
13 years 9 months ago
1994
1 We examine the consistency problem for descriptions of trees based on remote dominance, and present a consistency-checking algorithm which is polynomial in the number of nodes in...
BMCBI
2010
13 years 7 months ago
2010
Background: Position-specific priors have been shown to be a flexible and elegant way to extend the power of Gibbs sampler-based motif discovery algorithms. Information of many ty...