1307 search results - page 125 / 262 » Follow the intellectual property |
114
click to vote
ICASSP
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper deals with the problem of under-determined convolutive blind source separation. We model the contribution of each source to all mixture channels in the time-frequency d...
117
click to vote
CCR
2008
15 years 1 months ago
2008
Modeling Internet growth is important both for understanding the current network and to predict and improve its future. To date, Internet models have typically attempted to explai...
106
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
The need to deal with vague information in Semantic Web languages is rising in importance and, thus, calls for a standard way to represent such information. We may address this is...
106
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract We investigate here a new version of the Calculus of Inductive Constructions (CIC) on which the proof assistant Coq is based: the Calculus of Congruent Inductive Construct...
139
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We provide the first linear-space data structure with provable sublinear query time for exact point-topoint shortest path queries in planar graphs. We prove that for any planar gr...