12052 search results - page 553 / 2411 » computing 2010 |
201
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
173
click to vote
CHI
2010
ACM
16 years 10 days ago
2010
ACM
The human brain and body are prolific signal generators. Recent technologies and computing techniques allow us to measure, process and interpret these signals. We can now infer su...
186
click to vote
ENTCS
2007
15 years 7 months ago
2007
Lawvere theories and monads have been the two main category theoretic formulations of universal algebra, Lawvere theories arising in 1963 and the connection with monads being esta...
231
click to vote
CGF
2010
15 years 3 months ago
2010
Mean shift is a popular approach for data clustering, however, the high computational complexity of the mean shift procedure limits its practical applications in high dimensional ...
233
click to vote
AMC
2011
15 years 2 months ago
2011
This is a companion paper of [1] and [2]. In the cited papers, using the C-algorithm introduced in [3], many new examples of isochronous centers for Li´enard type equation are fou...