1138 search results - page 100 / 228 » Scale-Time Kernels and Models |
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper, a data-driven extension of the variational algorithm is proposed. Based on a few selected sensors, target tracking is performed distributively without any informati...
PLDI
2011
ACM
12 years 11 months ago
2011
ACM
Exploiting today’s multiprocessors requires highperformance and correct concurrent systems code (optimising compilers, language runtimes, OS kernels, etc.), which in turn requir...
ICASSP
2011
IEEE
13 years 19 days ago
2011
IEEE
Combining advantages of shape and appearance features, we propose a novel model that integrates these two complementary features into a common framework for object categorization ...
CODES
2002
IEEE
14 years 1 months ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...
TACAS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...