7557 search results - page 642 / 1512 » Modeling Timed Concurrent Systems |
180
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...
215
click to vote
ASIAMS
2008
IEEE
2008
IEEE
Optimization of a Kraft Pulping System: Using Particle Swarm Optimization and Differential Evolution
16 years 1 months ago
Expectation of profit is the economic driving force motivating business activity in a free-enterprise economy. An increase in this profit for a given organization can be accomplis...
169
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper addresses a novel approach to the nvehicle collision avoidance problem. The vehicle model used is a planar unicycle, chosen for its wide applicability to gro...
179
click to vote
CLEAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper deals with the CLEAR 2007 evaluation on the detection of acoustic events which happen during seminars or meetings The implemented system consists in a front-en...
208
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
The purpose of this work is to propose an immune-inspired setup to use a self-organizing map as a computational model for the interaction of antigens and antibodies. The proposed ...