Sciweavers

1368 search results - page 173 / 274
» Personality-Based Practical Reasoning
Sort
View
ICCAD
2003
IEEE
113views Hardware» more  ICCAD 2003»
15 years 12 months ago
Retiming with Interconnect and Gate Delay
In this paper, we study the problem of retiming of sequential circuits with both interconnect and gate delay. Most retiming algorithms have assumed ideal conditions for the non-lo...
Chris C. N. Chu, Evangeline F. Y. Young, Dennis K....
CVPR
2010
IEEE
15 years 11 months ago
Fast Global Optimization of Curvature
Two challenges in computer vision are to accommodate noisy data and missing data. Many problems in computer vision, such as segmentation, filtering, stereo, reconstruction, inpain...
Noha El-Zehiry, Leo Grady
CHI
2010
ACM
15 years 10 months ago
Sharing conversation and sharing life: video conferencing in the home
Video conferencing is a technology that families and friends use to connect with each other over distance. However, even with such technology readily available, we still do not ha...
Tejinder K. Judge, Carman Neustaedter
CHI
2010
ACM
15 years 10 months ago
Blowing in the wind: unanchored patient information work during cancer care
Patients do considerable information work. Technologies that help patients manage health information so they can play active roles in their health-care, such as personal health re...
Predrag V. Klasnja, Andrea Civan-Hartzler, Kenton ...
CC
2010
Springer
172views System Software» more  CC 2010»
15 years 10 months ago
Verifying Local Transformations on Relaxed Memory Models
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Sin...