8874 search results - page 72 / 1775 » A New Implementation of Automath |
134
click to vote
ICALT
2010
IEEE
15 years 1 months ago
2010
IEEE
We propose in this paper a new method to compute indicators based on models transformations. We use the concept of modeled trace and trace-based system to design an indicator. We u...
139
Voted
JMLR
2012
13 years 6 months ago
2012
NIMFA is an open-source Python library that provides a unified interface to nonnegative matrix factorization algorithms. It includes implementations of state-of-the-art factoriza...
106
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
A new technique to acquire pseudo-noise (PN) sequences has been recently proposed in [1] and [2]. It is based on the paradigm of iterative Message Passing (iMP) to be run on loopy...
139
Voted
SCAM
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents an implementation of the “form template method” refactoring. This transformation has not been automated yet, but has many similarities with other transform...
115
Voted
IDA
2007
Springer
15 years 9 months ago
2007
Springer
The paper presents new developments in an extension of Codd’s relational model of data. The extension consists in equipping domains of attribute values with a similarity relation...