36 search results - page 8 / 8 » On the Relation between Sized-Types Based Termination and Se... |
WWW
2004
ACM
14 years 5 months ago
2004
ACM
The ability to determine what day-to-day activity (such as cooking pasta, taking a pill, or watching a video) a person is performing is of interest in many application domains. A ...