Sciweavers

4041 search results - page 193 / 809
» time 2009
Sort
View
SEFM
2009
IEEE
16 years 1 months ago
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
Davide Bresolin, Valentin Goranko, Angelo Montanar...
NTMS
2009
IEEE
16 years 1 months ago
A Comprehensive Reference Architecture for Trustworthy Long-Term Archiving of Sensitive Data
Abstract—It is well known that the suitability of many cryptographic algorithms decreases with time. Hence, it is a challenging task to maintain the integrity, authenticity, con...
Detlef Hühnlein, Ulrike Korte, Lucie Langer, ...
INFOCOM
2009
IEEE
16 years 1 months ago
On the Impact of Heterogeneity and Back-End Scheduling in Load Balancing Designs
—Load balancing is a common approach for task assignment in distributed architectures. In this paper, we show that the degree of inefficiency in load balancing designs is highly...
Ho-Lin Chen, Jason R. Marden, Adam Wierman
IROS
2009
IEEE
192views Robotics» more  IROS 2009»
16 years 1 months ago
Kinodynamic motion planning for mobile robots using splines
— This paper presents an approach to time-optimal kinodynamic motion planning for a mobile robot. A global path planner is used to generate collision-free straight-line paths fro...
Boris Lau, Christoph Sprunk, Wolfram Burgard
IROS
2009
IEEE
136views Robotics» more  IROS 2009»
16 years 1 months ago
Integrating asynchronous observations for mobile robot position tracking in cooperative environments
— This paper presents an asynchronous particle filter algorithm for mobile robot position tracking, taking into account time considerations when integrating observations being d...
Andreu Corominas Murtra, Josep Maria Mirats i Tur,...