Sciweavers

2934 search results - page 238 / 587
» Universality in Multi-Agent Systems
Sort
View
ICRA
1998
IEEE
118views Robotics» more  ICRA 1998»
15 years 10 months ago
Redundancy Resolution of a Cartesian Space Operated Heavy Industrial Manipulator
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...
Marcel Honegger, A. Codourey
DEXAW
2004
IEEE
118views Database» more  DEXAW 2004»
15 years 10 months ago
LITO - A Logic For Indeterminate Temporal Objects
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.
PRIS
2001
15 years 8 months ago
Automatic TV Advertisement Detection from MPEG Bitstream
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...
David A. Sadlier, Seán Marlow, Noel E. O'Co...
TREC
2004
15 years 8 months ago
UB at TREC 13: Genomics Track
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...
ENTCS
2008
101views more  ENTCS 2008»
15 years 6 months ago
Monotonic Abstraction in Parameterized Verification
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...