928 search results - page 65 / 186 » The degree structure of Weihrauch-reducibility |
109
click to vote
LOGCOM
2010
15 years 12 days 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...
128
click to vote
ICASSP
2010
IEEE
14 years 12 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...
133
click to vote
OTM
2010
Springer
14 years 12 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...
221
Voted
WAW
2010
Springer
14 years 11 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 ...
116
click to vote
CDC
2010
IEEE
14 years 9 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...