691 search results - page 128 / 139 » Automatically Proving Linearizability |
ACIVS
2008
Springer
14 years 4 months ago
2008
Springer
Abstract. Crowd behavior recognition is becoming an important research topic in video surveillance for public places. In this paper, we first discuss the crowd feature selection a...
ACNS
2008
Springer
14 years 4 months ago
2008
Springer
Abstract. Very recently, the concept of Traceable Identity-based Encryption (IBE) scheme (or Accountable Authority Identity based Encryption scheme) was introduced in Crypto 2007. ...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
Systems using Software Agents (or Multi-Agent Systems, MAS) are becoming more popular within the development mainstream because, as the name suggests, an Agent aims to handle task...
ICMCS
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper presents a method for automatically annotating and retrieving animal images. Our model is a multi-modality ontology extended from our previous works in the sense that b...
CVPR
2006
IEEE
14 years 4 months ago
2006
IEEE
Nowadays, GPS-based car navigation systems mainly use speech and aerial views of simplified road maps to guide drivers to their destination. However, drivers often experience dif...