87 search results - page 3 / 18 » Automatic Generation of Object Usage Specifications from Lar... |
ICCV
2007
IEEE
14 years 11 days ago
2007
IEEE
Given a query image of an object, our objective is to retrieve all instances of that object in a large (1M+) image database. We adopt the bag-of-visual-words architecture which ha...
HUC
2011
Springer
12 years 5 months ago
2011
Springer
GPS-equipped taxis can be viewed as pervasive sensors and the large-scale digital traces produced allow us to reveal many hidden “facts” about the city dynamics and human beha...
VL
2009
IEEE
14 years 24 days ago
2009
IEEE
Jadeite is a new Javadoc-like API documentation system that takes advantage of multiple users’ aggregate experience to reduce difficulties that programmers have learning new API...
ICALP
2001
Springer
13 years 10 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
MTV
2005
IEEE
13 years 11 months ago
2005
IEEE
Microprocessor technology is increasingly used for many applications; the large market volumes call for cost containment in the production phase. Process yield for processor produ...