4123 search results - page 343 / 825 » Multiple Relational Embedding |
197
click to vote
CORR
2004
Springer
15 years 7 months ago
2004
Springer
We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let be a language consisting of function symbols (representing type constructors)...
203
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
215
click to vote
MEMOCODE
2010
IEEE
15 years 5 months ago
2010
IEEE
A new language, Feldspar, is presented, enabling high-level and platform-independent description of digital signal processing (DSP) algorithms. Feldspar is a pure functional langua...
212
click to vote
COMPLIFE
2005
Springer
16 years 24 days ago
2005
Springer
During the last few years new functionalities of RNA have been discovered, renewing the need for computational tools for their analysis. To this respect, multiple sequence alignmen...
188
click to vote
AAAI
2006
15 years 8 months ago
2006
Related objects may look similar at low-resolutions; differences begin to emerge naturally as the resolution is increased. By learning across multiple resolutions of input, knowle...