7121 search results - page 1202 / 1425 » Functions as Session-Typed Processes |
135
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
: An active sonar system consists of a sound source activating a surveillance area and a receiver listening for echoes reflected from targets. In a bistatic setup, the source and t...
154
click to vote
ICCAD
2009
IEEE
15 years 2 months ago
2009
IEEE
The lack of good "correlation" between pre-silicon simulated delays and measured delays on silicon (silicon data) has spurred efforts on so-called silicon debug. The ide...
175
click to vote
ICCS
2009
Springer
15 years 2 months ago
2009
Springer
Protein loop structure modeling is regarded as a mini protein folding problem with significant scientific importance. Efficiently sampling the loop conformation space is a key step...
139
click to vote
ICDM
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper, we restudy the non-convex data factorization problems (regularized or not, unsupervised or supervised), where the optimization is confined in the nonnegative orthan...
155
click to vote
ICEIS
2009
IEEE
15 years 2 months ago
2009
IEEE
One of the main difficulties of pattern mining is to deal with items of different nature in the same itemset, which can occur in any domain except basket analysis. Indeed, if we co...