Sciweavers

9425 search results - page 409 / 1885
» Some Notes on Models and Modelling
Sort
View
PAMI
2008
161views more  PAMI 2008»
15 years 4 months ago
Multilayered 3D LiDAR Image Construction Using Spatial Models in a Bayesian Framework
Standard 3D imaging systems process only a single return at each pixel from an assumed single opaque surface. However, there are situations when the laser return consists of multip...
Sergio Hernandez-Marin, Andrew M. Wallace, Gavin J...
IEEEHPCS
2010
15 years 3 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...
159
Voted
IJDMMM
2010
128views more  IJDMMM 2010»
15 years 3 months ago
Graphical models based hierarchical probabilistic community discovery in large-scale social networks
: Real-world social networks, while disparate in nature, often comprise of a set of loose clusters (a.k.a. communities), in which members are better connected to each other than to...
Haizheng Zhang, Ke Ke, Wei Li, Xuerui Wang
INFORMATICALT
2010
92views more  INFORMATICALT 2010»
15 years 3 months ago
New Fuzzy Identity-Based Encryption in the Standard Model
In a fuzzy identity-based encryption (IBE) scheme, a user with the secret key for an identity ID is able to decrypt a ciphertext encrypted with another identity ID if and only if I...
Yanli Ren, Dawu Gu, Shuozhong Wang, Xinpeng Zhang
DSD
2010
IEEE
221views Hardware» more  DSD 2010»
15 years 2 months ago
Modeling Reconfigurable Systems-on-Chips with UML MARTE Profile: An Exploratory Analysis
Reconfigurable FPGA based Systems-on-Chip (SoC) architectures are increasingly becoming the preferred solution for implementing modern embedded systems, due to their flexible natur...
Sana Cherif, Imran Rafiq Quadri, Samy Meftali, Jea...