8828 search results - page 1141 / 1766 » Formal methods in practice |
152
click to vote
ISBI
2008
IEEE
16 years 8 months ago
2008
IEEE
3D echocardiography is one of the emerging real-time imaging modalities that is increasingly used in clinical practice to assess cardiac function. It provides for evaluation a mor...
190
click to vote
CHI
2009
ACM
16 years 8 months ago
2009
ACM
This paper presents an ongoing study comparing the potential and the quality of the experiences provided by tangible versus traditional interfaces. The study was carried with two ...
190
click to vote
CHI
2009
ACM
16 years 8 months ago
2009
ACM
The development of computer-based devices for music control has created a need to study how spectators understand new performance technologies and practices. As a part of a larger...
186
click to vote
PERCOM
2009
ACM
16 years 8 months ago
2009
ACM
In this paper we describe a context-sensitive way to change an active mobile phone profile. We present a method to create a proactive and adaptive phone profile control system that...
159
click to vote
KDD
2005
ACM
16 years 7 months ago
2005
ACM
Several authors have suggested viewing boosting as a gradient descent search for a good fit in function space. At each iteration observations are re-weighted using the gradient of...