Sciweavers

3523 search results - page 507 / 705
» Feature interaction in policies
Sort
View
ICMI
2010
Springer
287views Biometrics» more  ICMI 2010»
15 years 4 months ago
Identifying emergent leadership in small groups using nonverbal communicative cues
This paper addresses firstly an analysis on how an emergent leader is perceived in newly formed small-groups, and secondly, explore correlations between perception of leadership a...
Dairazalia Sanchez-Cortes, Oya Aran, Marianne Schm...
ICPR
2010
IEEE
15 years 4 months ago
Building Detection in a Single Remotely Sensed Image with a Point Process of Rectangles
Abstract--In this paper we introduce a probabilistic approach of building extraction in remotely sensed images. To cope with data heterogeneity we construct a flexible hierarchical...
Csaba Benedek, Xavier Descombes, Josiane Zerubia
IVA
2010
Springer
15 years 4 months ago
MAY: My Memories Are Yours
Abstract. In human relations engagement and continuous communication is promoted by the process of sharing experiences. This type of social behaviour plays an important role in the...
Joana Campos, Ana Paiva
LPAR
2010
Springer
15 years 4 months ago
Dafny: An Automatic Program Verifier for Functional Correctness
Traditionally, the full verification of a program's functional correctness has been obtained with pen and paper or with interactive proof assistants, whereas only reduced ver...
K. Rustan M. Leino
180
Voted
CISC
2009
Springer
171views Cryptology» more  CISC 2009»
15 years 4 months ago
Sanitizable Signatures with Strong Transparency in the Standard Model
Sanitizable signatures provide several security features which are useful in many scenarios including military and medical applications. Sanitizable signatures allow a semi-trusted...
Shivank Agrawal, Swarun Kumar, Amjed Shareef, C. P...