972 search results - page 174 / 195 » Intersection types and computational effects |
CHI
2010
ACM
14 years 3 months ago
2010
ACM
The impact of interruptions on workflow and productivity has been extensively studied in the PC domain, but while fragmented user attention is recognized as an inherent aspect of ...
CVPR
2009
IEEE
14 years 3 months ago
2009
IEEE
A guidewire is a medical device inserted into vessels during image guided interventions for balloon inflation. During interventions, the guidewire undergoes non-rigid deformation...
RECOMB
2009
Springer
14 years 3 months ago
2009
Springer
This paper presents a new approach to site-directed recombination, swapping combinations of selected discontiguous fragments from a source protein in place of corresponding fragmen...
NDSS
2009
IEEE
14 years 3 months ago
2009
IEEE
Several off-the-shelf products enable network operators to enforce usage restrictions by actively terminating connections when deemed undesirable. While the spectrum of their appl...
CVPR
2007
IEEE
14 years 3 months ago
2007
IEEE
Although it is usually assumed in many pattern recognition problems that different patterns are distinguishable, some patterns may have inseparable overlap. For example, some faci...