Decision-making systems intend to copy human reasoning which often consists in eliminating highly non probable situations (e.g. diseases, suspects) rather than selecting the most r...
: The IP Multimedia Subsystem (IMS) is becoming the de facto overlay network for enabling the delivery of multimedia services in converged networks. Because it is envisioned that t...
Anticipating and characterizing damages in layered carbon fiberreinforced polymers is a challenging problem. Non-destructive evaluation using ultrasonic signals is a well-establi...
Nicolas Bochud, Angel M. Gomez, Guillermo Rus, Jos...
FRIDA and FRIDA2 are databases of numerical synthetic images easily usable to evaluate in a systematic way the performance of visibility and contrast restoration algorithms. In any...
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...