5622 search results - page 632 / 1125 » Solving architectural modelling problems using knowledge |
204
click to vote
ICFEM
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
219
click to vote
RSS
2007
15 years 9 months ago
2007
— In probabilistic mobile robotics, the development of measurement models plays a crucial role as it directly influences the efficiency and the robustness of the robot’s perf...
192
click to vote
IJCAI
1989
15 years 8 months ago
1989
Perturbation analysis deals with the relation ships between small changes in a system's inputs or model and changes in its outputs. Reverse simulation is of particular inte...
188
click to vote
PAMI
2008
15 years 7 months ago
2008
Suppose a set of arbitrary (unlabeled) images contains frequent occurrences of 2D objects from an unknown category. This paper is aimed at simultaneously solving the following rel...
210
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Reinforcement learning is a popular and successful framework for many agent-related problems because only limited environmental feedback is necessary for learning. While many algo...