928 search results - page 65 / 186 » The degree structure of Weihrauch-reducibility |
LOGCOM
2010
13 years 8 months ago
2010
The logic of proofs (LP) was proposed as Gödel’s missed link between Intuitionistic and S4-proofs, but so far the tableau-based methods proposed for LPhave not explored this cl...
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
In this paper, we propose a new method of blind source separation (BSS) for music signals. Our method has the following characteristics: 1) the method is a combination of the spar...
OTM
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Rapidly changing business requirements necessitate the adhoc composition of expert teams to handle complex business cases. Expertcentric properties such as skills, howeve...
WAW
2010
Springer
13 years 8 months ago
2010
Springer
We introduce a new geometric, rank-based model for the link structure of on-line social networks (OSNs). In the geo-protean (GEO-P) model for OSNs nodes are identified with points ...
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
Stability properties for continuous-time linear switched systems are at first determined by the (largest) Lyapunov exponent associated with the system, which is the analogous of t...