Sciweavers

12487 search results - page 35 / 2498
» Graspable Work Modeling
Sort
View
159
Voted
SCN
2011
Springer
292views Communications» more  SCN 2011»
14 years 7 months ago
Synthesis of attack actions using model checking for the verification of security protocols
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
Stylianos Basagiannis, Panagiotis Katsaros, Andrew...
ICSEA
2009
IEEE
14 years 10 months ago
Development of CMS-Based Web-Applications Using a Model-Driven Approach
The emerging Model-Driven Engineering paradigm advocates the use of models as first-class citizens in the software development process, while artifacts such as documentation and so...
João de Sousa Saraiva, Alberto Rodrigues da...
95
Voted
NHM
2010
71views more  NHM 2010»
14 years 7 months ago
Some attempts to couple distinct fluid models
We present in this paper a review of some recent work dedicated to the numerical interfacial coupling of fluid models. One main motivation of the whole work is to provide some mean...
Jean-Marc Hérard, Olivier Hurisse
CVPR
2012
IEEE
13 years 3 months ago
Background modeling using adaptive pixelwise kernel variances in a hybrid feature space
Recent work on background subtraction has shown developments on two major fronts. In one, there has been increasing sophistication of probabilistic models, from mixtures of Gaussi...
Manjunath Narayana, Allen R. Hanson, Erik G. Learn...
159
Voted
ICDAR
2009
IEEE
14 years 10 months ago
Design Compact Recognizers of Handwritten Chinese Characters Using Precision Constrained Gaussian Models, Minimum Classification
In our previous work, a precision constrained Gaussian model (PCGM) was proposed for character modeling to design compact recognizers of handwritten Chinese characters. A maximum ...
Yongqiang Wang, Qiang Huo