6167 search results - page 988 / 1234 » Can Refinement be Automated |
WACV
2005
IEEE
14 years 4 months ago
2005
IEEE
The paper describes a video tracking system that tracks and analyzes the behavioral pattern of users in a public space. We have obtained important statistical measurements about u...
APLAS
2005
ACM
14 years 4 months ago
2005
ACM
Affine size-change analysis has been used for termination analysis of eager functional programming languages. The same style of analysis is also capable of compactly recording and ...
GROUP
2005
ACM
14 years 4 months ago
2005
ACM
Many studies have evaluated different uses of collaborative software. Typically, the research has focused on the shortcomings and, sometimes, the ways end users succeed or fail to...
ISPD
2005
ACM
14 years 4 months ago
2005
ACM
Modern advances in reconfigurable analog technologies are allowing field-programmable analog arrays (FPAAs) to dramatically grow in size, flexibility, and usefulness. With thes...
JCDL
2005
ACM
14 years 4 months ago
2005
ACM
One of the criticisms library users often make of catalogs is that they rarely include information below the bibliographic level. It is generally impossible to search a catalog fo...