It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d...
Software is more and more built from pre-existing components. This is true also for the embedded software domain, and there is a need to consider how development processes need to ...
Rikard Land, Jan Carlson, Stig Larsson, Ivica Crnk...
Brain-Computer Interfaces (BCIs) allow a user to control a computer application by brain activity as acquired, e.g., by EEG. A standard step in a BCI system is to project the EEG ...
Wojciech Wojcikiewicz, Carmen Vidaurre, Motoaki Ka...
As computer vision research considers more object categories and greater variation within object categories, it is clear that larger and more exhaustive datasets are necessary. How...
Brendan Collins, Jia Deng, Kai Li, Fei-Fei Li 0002
Abstract. High performance computing has become a key step to introduce computer tools, like real-time registration, in the medical field. To achieve real-time processing, one usua...