Sciweavers

1956 search results - page 274 / 392
» A Critical View of Context
Sort
View
IROS
2007
IEEE
148views Robotics» more  IROS 2007»
16 years 23 days ago
Trajectory recovery and 3D mapping from rotation-compensated imagery for an airship
— On this paper, inertial orientation measurements are exploited to compensate the rotational degrees of freedom for an aerial vehicle carrying a perspective camera, taking a seq...
Luiz G. B. Mirisola, Jorge Dias, Anibal T. de Alme...
CONCUR
2007
Springer
16 years 19 days ago
Pushdown Module Checking with Imperfect Information
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
Benjamin Aminof, Aniello Murano, Moshe Y. Vardi
DSOM
2007
Springer
16 years 19 days ago
Efficient Web Services Event Reporting and Notifications by Task Delegation
Web Services are an XML technology recently viewed as capable of being used for network management. A key aspect of WS in this domain is event reporting. WS-based research in this ...
Aimilios Chourmouziadis, George Pavlou
EUSAI
2007
Springer
16 years 19 days ago
Situated Public News and Reminder Displays
In this paper we present concepts for and experiences with a Situated Public Display system deployed in a university setting. We identify the rate with which information is updated...
Jörg Müller, Oliver Paczkowski, Antonio ...
ICFCA
2007
Springer
16 years 19 days ago
Computing Intensions of Digital Library Collections
We model a Digital Library as a formal context in which objects are documents and attributes are terms describing documents contents. A formal concept is very close to the notion o...
Carlo Meghini, Nicolas Spyratos