4341 search results - page 739 / 869 » Quantitative Model checking |
190
click to vote
IBPRIA
2007
Springer
16 years 13 days ago
2007
Springer
Detection of speckle in ultrasound (US) images has been regarded as an important research topic in US imaging, mainly focusing on two specific applications: improving signal to no...
181
click to vote
CVPR
2006
IEEE
16 years 10 days ago
2006
IEEE
Part-based tree-structured models have been widely used for 2D articulated human pose-estimation. These approaches admit efficient inference algorithms while capturing the import...
155
click to vote
MIR
2006
ACM
16 years 7 days ago
2006
ACM
We present a general approach for automatically matching electronic slides to videos of corresponding presentations for use in distance learning and video proceedings of conferenc...
158
click to vote
IUI
2004
ACM
15 years 11 months ago
2004
ACM
As computer applications become larger with every new version, there is a growing need to provide some way for users to manage the interface complexity. There are three different ...
188
click to vote
MIR
2010
ACM
15 years 11 months ago
2010
ACM
In developing automated systems to recognize the emotional content of music, we are faced with a problem spanning two disparate domains: the space of human emotions and the acoust...