3061 search results - page 400 / 613 » interactions 2010 |
235
click to vote
ICMI
2010
Springer
15 years 4 months ago
2010
Springer
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...
152
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
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...
208
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
197
click to vote
ICTAI
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Reliability and/or availability are increasingly important aspects in the design of systems, especially networks and service offerings. Optimization here is a multi-crite...
165
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...