3951 search results - page 432 / 791 » Automatic amortized analysis |
192
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
157
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
Segmentation and tracking of cells in fluorescence microscopy image sequences is an important task in many biological studies into cell migration as well as intracellular dynamics...
192
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
We present a computational framework to automatically discover high-order temporal social patterns from very noisy and sparse location data. We introduce the concept of social foo...
182
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
In this poster we introduce ProThes, a pilot meta-search engine (MSE) for a specific application domain. ProThes combines three approaches: meta-search, graphical user interface (...
185
Voted
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Summarizing web pages have recently gained much attention from researchers. Until now two main types of approaches have been proposed for this task: content- and context-based met...