Sciweavers

2192 search results - page 204 / 439
» Embedded function composition
Sort
View
105
Voted
CORR
2008
Springer
126views Education» more  CORR 2008»
15 years 26 days ago
Non-Negative Matrix Factorization, Convexity and Isometry
Traditional Non-Negative Matrix Factorization (NMF) [19] is a successful algorithm for decomposing datasets into basis function that have reasonable interpretation. One problem of...
Nikolaos Vasiloglou, Alexander G. Gray, David V. A...
JAR
2008
89views more  JAR 2008»
15 years 23 days ago
An Extensible Encoding of Object-oriented Data Models in hol
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
Achim D. Brucker, Burkhart Wolff
113
Voted
JFP
2002
100views more  JFP 2002»
15 years 13 days ago
A typed representation for HTML and XML documents in Haskell
We define a family of embedded domain specific languages for generating HTML and XML documents. Each language is implemented as a combinator library in Haskell. The generated HTML...
Peter Thiemann
75
Voted
INTERSPEECH
2010
14 years 7 months ago
Competition in the perception of spoken Japanese words
Japanese listeners detected Japanese words embedded at the end of nonsense sequences (e.g., kaba 'hippopotamus' in gyachikaba). When the final portion of the preceding c...
Takashi Otake, James M. McQueen, Anne Cutler
LCTRTS
2009
Springer
15 years 7 months ago
Eliminating the call stack to save RAM
Most programming languages support a call stack in the programming model and also in the runtime system. We show that for applications targeting low-power embedded microcontroller...
Xuejun Yang, Nathan Cooprider, John Regehr