4841 search results - page 549 / 969 » On dynamic feature location |
169
Voted
TOPLAS
2002
15 years 6 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
210
Voted
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Detecting the boundaries of objects is a key step in separating foreground objects from the background, which is useful for robotics and computer vision applications, such as o...
207
Voted
BMVC
2010
15 years 4 months ago
2010
We introduce a novel person identification method for a surveillance system of much wider area than conventional systems using CCTV cameras. In the proposed system, we install cam...
215
Voted
ICDM
2010
IEEE
15 years 4 months ago
2010
IEEE
Link prediction is a fundamental problem in social network analysis and modern-day commercial applications such as Facebook and Myspace. Most existing research approaches this pro...
212
Voted
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
Modeling and analyzing surgeries based on signals that are obtained automatically from the operating room (OR) is a field of recent interest. It can be valuable for analyzing and u...