2586 search results - page 433 / 518 » Automatic Abstraction for Congruences |
ICFEM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...
102
click to vote
ICFEM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
103
click to vote
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
Service robots will have to accomplish more and more complex, open-ended tasks and regularly acquire new skills. In this work, we propose a new approach to generating plans for su...
IEEEHPCS
2010
14 years 10 months ago
2010
Abstract—Many peer-to-peer file sharing communities implement credit policies to incentivise users to contribute upload resources. Such policies implicitly assume a user model -...
INFORMATICALT
2010
14 years 10 months ago
2010
Abstract. New text independent speaker identification method is presented. Phase spectrum of allpole linear prediction (LP) model is used to derive the speech features. The featur...