In this paper, we propose a computer-controlled camera work that shoots object scenes to model the professional cameramen's work and selects the best image among plural video...
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
The aim of the SCHEMA Network of Excellence is to bring together a critical mass of universities, research centers, industrial partners and end users, in order to design a referenc...
An ongoing debate in text understanding efforts centers on the use of pattern-matching techniques, which some have characterized as "designed to ignore as much text as possib...
This paper presents the conception, the design and a prototype of a virtual reality system for learning and maintenance training of Hydroelectric Generating Unit (HGU). The system...