1071 search results - page 80 / 215 » Programming with enumerable sets of structures |
165
Voted
POPL
2002
ACM
16 years 28 days ago
2002
ACM
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...
115
click to vote
CADE
2005
Springer
16 years 28 days ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
168
Voted
JMLR
2012
13 years 3 months ago
2012
The deep Boltzmann machine is a powerful model that extracts the hierarchical structure of observed data. While inference is typically slow due to its undirected nature, we argue ...
119
Voted
ESOP
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. In the eld of reactive system programming, data ow synchronous languages like Lustre BCH+85,CHPP87 or Signal GBBG85 o er a syntax similar to block-diagrams, and can be e ...
218
click to vote
BMCBI
2005
15 years 15 days ago
2005
Background: Alignment of RNA secondary structures is important in studying functional RNA motifs. In recent years, much progress has been made in RNA motif finding and structure a...