4814 search results - page 390 / 963 » Combining abstract interpreters |
139
Voted
FM
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
174
click to vote
GECCO
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In this paper we propose a novel hybrid (GA/PSO) algorithm, Breeding Swarm, combining the strengths of particle swarm optimization with genetic algorithms. The hybrid alg...
170
click to vote
GFKL
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We consider the problem of finding communities in large linked networks such as web structures or citation networks. We review similarity measures for linked objects and...
182
click to vote
ICWE
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Web recommendation systems have become a popular means to improve the usability of web sites. This paper describes the architecture of a rulebased recommendation system a...
164
click to vote
ISNN
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Aiming at vehicle tracking with a single moving camera for autonomous driving, this paper presents a strategy of online feature selection combined with related process fr...