3113 search results - page 267 / 623 » Efficiently Generating Efficient Generating Extensions in Pr... |
156
click to vote
QEST
2010
IEEE
15 years 2 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
146
click to vote
IEEEPACT
2009
IEEE
15 years 2 months ago
2009
IEEE
Efficiently using the hardware capabilities of the Cell processor, a heterogeneous chip multiprocessor that uses several levels of parallelism to deliver high performance, and bei...
155
click to vote
CVPR
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper addresses the problem of estimating human body pose in static images. This problem is challenging due to the high dimensional state space of body poses, the presence of...
130
click to vote
CVPR
2007
IEEE
16 years 7 months ago
2007
IEEE
We propose a novel classification approach for automatically detecting pulmonary embolism (PE) from computedtomography-angiography images. Unlike most existing approaches that req...
219
Voted
ICDE
2005
IEEE
16 years 6 months ago
2005
IEEE
Query Personalization is the process of dynamically enhancing a query with related user preferences stored in a user profile with the aim of providing personalized answers. The un...