9611 search results - page 149 / 1923 » A Note on Difference Sets |
ICCV
2007
IEEE
15 years 4 days ago
2007
IEEE
Tumor segmentation from MRI data is an important but time consuming task performed manually by medical experts. Automating this process is challenging due to the high diversity in...
ICCV
2005
IEEE
15 years 3 days ago
2005
IEEE
Object detection and segmentation can be facilitated by the availability of a reference object. However, accounting for possible transformations between the different object views...
ICDE
2006
IEEE
14 years 11 months ago
2006
IEEE
Radio Frequency Identification (RFID) applications are set to play an essential role in object tracking and supply chain management systems. In the near future, it is expected tha...
CADE
2006
Springer
14 years 10 months ago
2006
Springer
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...
ICDE
2010
IEEE
14 years 10 months ago
2010
IEEE
The rise of GPS and broadband-speed wireless devices has led to tremendous excitement about a range of applications broadly characterized as "location based services". Cu...