Sciweavers

2041 search results - page 106 / 409
» Modelling Generic Judgements
Sort
View
ECCV
2010
Springer
15 years 9 months ago
Joint People, Event, and Location Recognition in Personal Photo Collections using Cross-Domain Context
Abstract. We present a framework for vision-assisted tagging of personal photo collections using context. Whereas previous efforts mainly focus on tagging people, we develop a uni...
ECOOPW
1999
Springer
15 years 9 months ago
Aspects and Superimpositions
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
Shmuel Katz, Joseph Gil
ESAW
2008
Springer
15 years 6 months ago
A Reverse Engineering Form for Multi Agent Systems
The IODA methodology allows automated construction of models from an ontology, consisting of generic interactions that we can assign to families of agents. Thanks to the measuremen...
François Gaillard, Yoann Kubera, Philippe M...
IJNSEC
2008
147views more  IJNSEC 2008»
15 years 4 months ago
Constructing Efficient Certificateless Public Key Encryption with Pairing
Certificateless public key cryptography was introduced to overcome the key escrow limitation of the identity-based cryptography. Recently, Yum1 and Lee have proposed a generic ser...
Yijuan Shi, Jianhua Li, Jianjun Shi
INFOCOM
2007
IEEE
15 years 11 months ago
Polynomial Complexity Algorithms for Full Utilization of Multi-Hop Wireless Networks
— In this paper, we propose and study a general framework that allows the development of distributed mechanisms to achieve full utilization of multi-hop wireless networks. In par...
Atilla Eryilmaz, Asuman E. Ozdaglar, Eytan Modiano