While a lot of technical data is available on the Web, conveying information about detailed procedures for the assembly and repair of complex machinery has so far been limited mos...
Michael Roberts, Nicolas Ducheneaut, Trevor F. Smi...
A minimal k-cycle is a family of sets A0, . . . , Ak−1 for which Ai ∩ Aj = ∅ if and only if i = j or i and j are consecutive modulo k. Let fr(n, k) be the maximum size of a ...
This paper deals with the application of natural language processing techniques to the field of information retrieval. To be precise, we propose the application of morphological f...
We construct an efficient identity based encryption system based on the standard learning with errors (LWE) problem. Our security proof holds in the standard model. The key step in...
Synchronous languages like Esterel have been widely adopted for designing reactive systems in safety-critical domains such as avionics. Specifications written in Esterel are based...
Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samar...