In tunneling and mining construction work, heavy and large manipulators are used to spray liquid concrete on the walls. These manipulators are usually operated manually with simpl...
In order to obtain a suitable model of the universe of discourse of some information systems, it is important to allow the description of imprecise objects with temporal indetermi...
Ed Porto Bezerra, Ulrich Schiel, Bernardo Lula Jr.
The Centre for Digital Video Processing at Dublin City University conducts concentrated research and development in the area of digital video management. The current stage of devel...
This paper describes the experiments of the State University of New York at Buffalo in TREC 13. We participated in the Genomics track and submitted official runs to the Adhoc retri...
Miguel E. Ruiz, Munirathnam Srikanth, Rohini K. Sr...
c Abstraction in Parameterized Verification Parosh Aziz Abdulla1 Department of Information Technology Uppsala University Sweden Giorgio Delzanno2 Dipartimento Informatica e Scienze...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...