3690 search results - page 415 / 738 » Computation with classical sequents |
146
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Pervasive communications are increasingly sent over mobile devices and personal digital assistants. This trend has been observed during the last football world cup where cellula...
182
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Temporal dependence within the workload of any computing or networking system has been widely recognized as a significant factor affecting performance. More specifically, burstin...
173
click to vote
CONCUR
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
192
click to vote
GECCO
2007
Springer
16 years 29 days ago
2007
Springer
Speciation is an important concept in evolutionary computation. It refers to an enhancements of evolutionary algorithms to generate a set of diverse solutions. The concept is stud...
224
click to vote
HUMO
2007
Springer
16 years 29 days ago
2007
Springer
We propose a new method for human action recognition from video sequences using latent topic models. Video sequences are represented by a novel “bag-of-words” representation, w...