14360 search results - page 2805 / 2872 » Time Modeling in MARTE |
184
Voted
CEC
2009
IEEE
15 years 9 months ago
2009
IEEE
— Humans are inclined to engage in long-lasting relationships whose stability does not only rely on cooperation, but often also on loyalty — our tendency to keep interacting wi...
178
click to vote
CP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
145
click to vote
SGP
2007
15 years 8 months ago
2007
We propose an algorithm that performs registration of large sets of unstructured point clouds of moving and deforming objects without computing correspondences. Given as input a s...
161
click to vote
AAAI
2007
15 years 8 months ago
2007
Often remote investigations use autonomous agents to observe an environment on behalf of absent scientists. Predictive exploration improves these systems’ efficiency with onboa...
202
click to vote
AAAI
2007
15 years 8 months ago
2007
In this paper, we consider a hybrid solution to the sensor network position inference problem, which combines a real-time filtering system with information from a more expensive,...