Computer vision, image and video understanding

Get Complete Project Material File(s) Now! » Computer vision, image and video understanding With the goal of improving image and video understanding, the computer vision field is using increasingly difficult proxy tasks to challenge itself. Solving these tasks pushes forward...

Homomorphic evaluation of support vector machine 

Get Complete Project Material File(s) Now! » Historical context and motivations Although already used during ancient times, cryptology – etymologically science of secret – only justified its science status recently with its theoritical foundations laid out by Shannon at the...

Computational complexity of the shapelet discovery 

Get Complete Project Material File(s) Now! » Machine Learning on Time Series In this chapter, we introduce the time series mining field. We begin with the definitions of the main concepts and notations used in this manuscript. Then, we propose...

Tiling Code With Memory-Based Dependences 

Get Complete Project Material File(s) Now! » The main contributions are the following: • We propose a relaxed permutability criterion that allows loop tiling to be applied with-out the need for any expansion or privatization, the impact on the memory...

Energy consumption in wireless networks

Get Complete Project Material File(s) Now! » Energy efficiency: State of the art Introduction The diversity of the application supported by wireless ad hoc and sensor networks explain the success of these networks. However, nodes in such networks can have...

The Geometry of Hyper-Distributions

Get Complete Project Material File(s) Now! » Differential privacy and its applications Differential privacy is now arguably the gold standard for data privacy, primarily due to its math-ematical properties (it behaves well under composition), its robustness to background knowl-edge (its...

Kripke-stylemodels for classical logic 

Get Complete Project Material File(s) Now! » Constructive completeness for Boolean models In Foundations of Mathematics, the completeness problem appears as a natural question as soon as we start to consider formal systems for giving a rig-orous treatment of mathematical...

Multi-hop Vehicular Communication for ITS 

Get Complete Project Material File(s) Now! » Transport Systems Wouldn’t it be great to drive our cars smoothly to our destinations without having to stop at traffic lights? To have our car detect the traffic signal state and the speed...

Labeled Transition System, Partition and Graphs

Get Complete Project Material File(s) Now! » Concurrent Constraint Programming (CCP) Concurrency theory studies the description and the analysis of systems consisting of interacting processes. Processes are typically viewed as infinite objects, in the sense that they can produce arbitrary...

Secure Enforcement for Global Process Specifications 

Get Complete Project Material File(s) Now! » Secure Enforcement for Global Process Specifications Introduction In this chapter, we consider high-level specifications of distributed applications, which focus on global interactions and hide local implementation details. These high-level specifications define a protocol...