-
Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpr...
International audience -
Validité des éléments finis de Lagrange de degré 1 et 2
A finite element is valid if its jacobian is strictly positive everywhere. The jacobian is the determinant of the jacobian matrix related to the partials of the... -
Security for Cloud Environment through Information Flow Properties Formalizat...
The main slowdown of Cloud activity comes from the lack of reliable security. The on-demand security concept aims at delivering and enforcing the client's security... -
Detection of First Order Axiomatic Theories
International audience -
Higher-order Occurrence Pooling on Mid- and Low-level Features: Visual Concep...
In object recognition, the Bag-of-Words model assumes: i) extraction of local descriptors from images, ii) embedding these descriptors by a coder to a given visual...
