7557 search results - page 739 / 1512 » Modeling Timed Concurrent Systems |
236
click to vote
RAS
2006
15 years 7 months ago
2006
This paper considers trajectory planning problems for autonomous robots in information gathering tasks. The objective of the planning is to maximize the information gathered withi...
162
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Compositional performance analysis iteratively alternates local scheduling analysis techniques and output event model propagation between system components to enable performance a...
195
click to vote
ICPP
1990
IEEE
15 years 11 months ago
1990
IEEE
A model for shared-memory systems commonly (and often implicitly) assumed by programmers is that of sequential consistency. For implementing sequential consistency in a cache-base...
204
click to vote
JCIT
2008
15 years 7 months ago
2008
In this paper we propose methods to utilize Artificial Neural Networks to obtain knowledge for the management of educational resources. The final evaluations provide us a model th...
169
click to vote
ICDE
2010
IEEE
16 years 7 months ago
2010
IEEE
Abstract-- In this paper, we present TransDec, an end-toend data-driven system which enables spatiotemporal queries in transportation systems with dynamic, real-time and historical...