2171 search results - page 333 / 435 » A Generic Process Algebra |
112
Voted
JCS
2002
15 years 3 months ago
2002
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
132
Voted
MODELS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In recent years, OCL advanced from a language used to constrain UML models to a constraint language that is applied to various modelling languages. This includes Domain S...
120
click to vote
ICIP
2010
IEEE
15 years 1 months ago
2010
IEEE
Reconstructing the 3D shape of human faces is an intensively researched topic. Most approaches aim at generating a closed surface representation of geometry, i.e. a mesh, which is...
159
Voted
EMNLP
2009
15 years 1 months ago
2009
There have been increasing needs for task specific rankings in web search such as rankings for specific query segments like long queries, time-sensitive queries, navigational quer...
120
Voted
ICIP
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper, we propose a generic and efficient object detection framework based on two heterogeneous features and demonstrate effectiveness of our method for a cat face detecti...