3670 search results - page 208 / 734 » Linear Recursive Functions |
174
click to vote
ISPD
2006
ACM
16 years 9 days ago
2006
ACM
Linear programming (LP) based methods are attractive for solving the placement problem because of their ability to model Half-Perimeter Wirelength (HPWL) and timing. However, it h...
197
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Multiple sequence alignment (MSA) is a useful tool in bioinformatics. Although many MSA algorithms have been developed, there is still room for improvement in accuracy...
184
click to vote
FROCOS
2005
Springer
15 years 12 months ago
2005
Springer
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...
160
click to vote
TLCA
2005
Springer
15 years 11 months ago
2005
Springer
We give a monadic semantics in the category of FM-cpos to a higher-order CBV language with recursion and dynamically allocated mutable references that may store both ground data an...
169
click to vote
EXTREME
2004
ACM
15 years 11 months ago
2004
ACM
The World Wide Web Consortium recommends both XSLT and XQuery as query languages for XML documents. XSLT, originally designed to transform XML into XSL-FO, is nowadays a fully gro...