932 search results - page 49 / 187 » Verifying Progress in Timed Systems |
128
Voted
ECCV
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. There has been growing interest in developing nonlinear dimensionality reduction algorithms for vision applications. Although progress has been made in recent years, conv...
140
Voted
MICCAI
2003
Springer
16 years 4 months ago
2003
Springer
Using methods from the computational sciences to improve the quality of health care is an important part of current medical progress. A particulary complex field is surgery simulat...
114
Voted
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...
112
click to vote
JCDL
2010
ACM
2010
ACM
Timeline interactive multimedia experience (time): on location access to aggregate event information
15 years 5 months ago
Attending a complex scheduled social event, such as a multi-day music festival, requires a significant amount of planning before and during its progression. Advancements in mobile...
130
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
An important tool for evaluating the health of patients who suffer from mobility-affecting chronic diseases such as MS, Parkinson’s, and Muscular Dystrophy is assessment of how ...