2797 search results - page 381 / 560 » Control Structures |
141
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
Parametric yield loss due to variability can be effectively reduced by both design-time optimization strategies and by adjusting circuit parameters to the realizations of variable...
157
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...
144
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
In this paper we propose an attention-based vision system for the JAST interactive dialog robot. The robotic vision system incorporates three submodules: object recognition, gestu...
154
click to vote
RECSYS
2009
ACM
15 years 11 months ago
2009
ACM
Tagging systems have become major infrastructures on the Web. They allow users to create tags that annotate and categorize content and share them with other users, very helpful in...
129
click to vote
BIBE
2007
IEEE
15 years 11 months ago
2007
IEEE
Breast biopsy guided by imaging techniques such as ultrasound is widely used to evaluate suspicious masses within the breast. Currently, ultrasound imaging does not allow live guid...