9110 search results - page 1756 / 1822 » Formally-Based Design Evaluation |
SCA
2007
14 years 11 days ago
2007
In this paper, we present an intuitive interface for interactively posing 3D facial expressions. The user can create and edit facial expressions by drawing freeform strokes, or by...
FAST
2010
14 years 9 days ago
2010
An understanding of application I/O access patterns is useful in several situations. First, gaining insight into what applications are doing with their data at a semantic level he...
FAST
2010
14 years 9 days ago
2010
Live migration of virtual hard disks between storage arrays has long been possible. However, there is a dearth of online tools to perform automated virtual disk placement and IO l...
MOBISYS
2010
ACM
14 years 9 days ago
2010
ACM
Mobile sensing is difficult without power. Emerging Computational RFIDs (CRFIDs) provide both sensing and generalpurpose computation without batteries--instead relying on small ca...
ICIA
2007
14 years 9 days ago
2007
We regularly operate under the notion that one agent assists another when the first does something for the second. However, the story behind this is much more complicated. In thi...