Sciweavers

943 search results - page 68 / 189
» Property-Driven Scenario Integration
Sort
View
PSYCHNOLOGY
2008
156views more  PSYCHNOLOGY 2008»
13 years 7 months ago
SIM: A dynamic multidimensional visualization method for social networks
Visualization plays an important role in social networks analysis to explore and investigate individual and groups behaviours. Therefore, different approaches have been proposed f...
Maria Chiara Caschera, Fernando Ferri, Patrizia Gr...
RAS
2008
139views more  RAS 2008»
13 years 7 months ago
Unsupervised identification of useful visual landmarks using multiple segmentations and top-down feedback
In this paper, we tackle the problem of unsupervised selection and posterior recognition of visual landmarks in images sequences acquired by an indoor mobile robot. This is a high...
Pablo Espinace, Daniel Langdon, Alvaro Soto
IEEEHPCS
2010
13 years 6 months ago
Semantic model checking security requirements for web services
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
L. Boaro, E. Glorio, Francesco Pagliarecci, Luca S...
IVA
2010
Springer
13 years 6 months ago
Interactive Motion Modeling and Parameterization by Direct Demonstration
Abstract. While interactive virtual humans are becoming widely used in education, training and therapeutic applications, building animations which are both realistic and parameteri...
Carlo Camporesi, Yazhou Huang, Marcelo Kallmann
PROCEDIA
2010
104views more  PROCEDIA 2010»
13 years 6 months ago
Composable cost estimation and monitoring for computational applications in cloud computing environments
With the offer from cloud computing providers, scientists have the opportunity to utilize pay-as-you-go resources together with their own and shared resources. However, scientist...
Hong Linh Truong, Schahram Dustdar