1054 search results - page 170 / 211 » Models for automatic generation of safety-critical real-time... |
119
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
144
click to vote
MOBISYS
2009
ACM
16 years 2 months ago
2009
ACM
PEIR, the Personal Environmental Impact Report, is a participatory sensing application that uses location data sampled from everyday mobile phones to calculate personalized estima...
135
click to vote
CVPR
2012
IEEE
13 years 4 months ago
2012
IEEE
In this paper we introduce a novel image descriptor enabling accurate object categorization even with linear models. Akin to the popular attribute descriptors, our feature vector ...
114
click to vote
ECOOPW
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Coordination and Adaptation are two key issues when developing complex distributed systems. Coordination focuses on the interaction among computational entities. Adaptati...
125
Voted
PRICAI
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This article discusses automatic identifications of functional structures of artifacts from given behavioral models of components and their connection information (called...