13099 search results - page 2458 / 2620 » Cooperative method development |
EDBT
2010
ACM
14 years 3 months ago
2010
ACM
This paper addresses a fundamental and challenging problem with broad applications: efficient processing of region-based promotion queries, i.e., to discover the top-k most inter...
ARTCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
—Electronic Control Units (ECUs) are nowadays employed in automotives for discharging various functionalities within the vehicle. It has become the fundamental building block of ...
BSN
2009
IEEE
14 years 3 months ago
2009
IEEE
—Falls are dangerous for the aged population as they can adversely affect health. Therefore, many fall detection systems have been developed. However, prevalent methods only use ...
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...
PLDI
2009
ACM
14 years 3 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...