We propose an event-driven framework dedicated to the design and the simulation of networks of spiking neurons. It consists stract model of spiking neurons and an efficient event-d...
One of the most exciting recent directions in machine learning is the discovery that the combination of multiple classifiers often results in significantly better performance than...
Abstract: We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a nite state machine (FSM) model of the protocol and uses a mix of...
A new version of SDL called SDL-2000 is currently reaching maturity, and is expected to pass the standardization bodies shortly. It will offer new features as object-oriented data...
In the spoken language machine translation project Verbmobil, the semantic formalism Language for Underspecified Discourse representation structures (LUD) is used. LUD describes a...