3836 search results - page 358 / 768 » Semantics of Database Transformations |
172
Voted
TLCA
2009
Springer
16 years 20 days ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
196
click to vote
FMSD
2007
15 years 6 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
152
click to vote
ESOP
2003
Springer
15 years 11 months ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
187
Voted
BMCBI
2008
15 years 6 months ago
2008
Background: Protein remote homology detection and fold recognition are central problems in bioinformatics. Currently, discriminative methods based on support vector machine (SVM) ...
159
Voted
FQAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. There is currently great interest in integrating knowledge discovery research into mainstream database systems. Such an enterprise is nontrivial because knowledge discove...