1116 search results - page 194 / 224 » Applying Predicate Abstraction to Abstract State Machines |
IJCNN
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract— This study proposes a Batch-Learning SelfOrganizing Map with False-Neighbor degree between neurons (called BL-FNSOM). False-neighbor degrees are allocated between adjac...
GLOBECOM
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract— A novel cluster-based coherent multi-user (MU) relaying system is proposed, where a number of source/destination pairs communicate concurrently over the same physical c...
ICC
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract— In this paper we advocate to exploit terminal cooperation to stabilize IP communication using header compression. The terminal cooperation is based on direct communicat...
AAIM
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Pricing arithmetic average options continues to intrigue researchers in the field of financial engineering. Since there is no analytical solution for this problem until...
87
Voted
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent s...