831 search results - page 79 / 167 » Coalgebraic Correspondence Theory |
IJCNN
2000
IEEE
15 years 4 months ago
2000
IEEE
Cq-profiles are 12-dimensional vectors, each component referring to a pitch class. They can be employed to represent keys. Cq-profiles are calculated with the constant Q filter...
103
click to vote
ISCAS
1999
IEEE
15 years 4 months ago
1999
IEEE
Recently a method in FIR filter design using cosine modulation was proposed. Given a prototype M-th band lowpass filter with cutoff frequency at M , one can obtain a new filter wi...
ADBIS
1997
Springer
15 years 4 months ago
1997
Springer
A graphical formalized language is proposed for specifying systems of views over database schemas. The language is based on the notion of arrow (mapping) between data schemas and ...
LICS
1990
IEEE
15 years 3 months ago
1990
IEEE
This paper discusses the relevance of a form of cut elimination theorem for linear logic tensor theories to the concept of a process on a Petri net. We base our discussion on two ...
103
click to vote
FUZZIEEE
2007
IEEE
15 years 3 months ago
2007
IEEE
One of the most important features of fuzzy set theory is its potential for the modeling of natural language expressions. Most works done on this topic focus on some parts of natur...