549 search results - page 59 / 110 » Constraint Programming in Structural Bioinformatics |
113
click to vote
ICFP
2006
ACM
16 years 15 days ago
2006
ACM
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...
ICFP
2003
ACM
16 years 15 days ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
118
Voted
CORR
2012
Springer
13 years 8 months ago
2012
Springer
The problem of learning the structure of Bayesian networks from complete discrete data with a limit on parent set size is considered. Learning is cast explicitly as an optimisatio...
119
click to vote
POPL
2011
ACM
14 years 3 months ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
82
Voted
WSC
2001
15 years 1 months ago
2001
We review chessboard distributions for modeling partially specified finite-dimensional random vectors. Chessboard distributions can match a given set of marginals, a given covaria...