Sciweavers

10054 search results - page 332 / 2011
» On the Complexity of Function Learning
Sort
View
COLT
2005
Springer
15 years 9 months ago
Rank, Trace-Norm and Max-Norm
We study the rank, trace-norm and max-norm as complexity measures of matrices, focusing on the problem of fitting a matrix with matrices having low complexity. We present generali...
Nathan Srebro, Adi Shraibman
FLOPS
2004
Springer
15 years 9 months ago
DDT: a Declarative Debugging Tool for Functional-Logic Languages
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computa...
Rafael Caballero, Mario Rodríguez-Artalejo
133
Voted
ERSHOV
2003
Springer
15 years 9 months ago
Integration of Functional and Timed Testing of Real-Time and Concurrent Systems
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
Victor V. Kuliamin, Alexandre Petrenko, Nick V. Pa...
VAMOS
2008
Springer
15 years 5 months ago
Integrated Product Line Model for Semi-Automated Product Derivation Using Non-Functional Properties
Software product lines (SPLs) allow to generate tailormade software products by selecting and composing reusable code units. However, SPLs with hundreds of features and millions o...
Norbert Siegmund, Martin Kuhlemann, Marko Rosenm&u...
MST
2006
105views more  MST 2006»
15 years 3 months ago
Selection Functions that Do Not Preserve Normality
The sequence selected from a sequence R(0)R(1) . . . by a language L is the subsequence of R that contains exactly the bits R(n + 1) such that the prefix R(0) . . . R(n) is in L. B...
Wolfgang Merkle, Jan Reimann