1415 search results - page 228 / 283 » Verified systems by composition from verified components |
EMMCVPR
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In this paper, we present an automatic human portrait system based on the And-Or graph representation. The system can automatically generate a set of life-like portraits ...
ECEASST
2008
13 years 7 months ago
2008
: We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous vers...
ICDE
2006
IEEE
14 years 9 months ago
2006
IEEE
Until recently, most data integration techniques involved central components, e.g., global schemas, to enable transparent access to heterogeneous databases. Today, however, with t...
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
In this paper, we study the calibration of head pose estimation in stereo camera setting for meeting room video event analysis. Head pose information infers the direction of atten...
EUROCRYPT
2011
Springer
12 years 11 months ago
2011
Springer
We propose a Multi-Authority Attribute-Based Encryption (ABE) system. In our system, any party can become an authority and there is no requirement for any global coordination othe...