2757 search results - page 292 / 552 » On separating systems |
165
click to vote
ESORICS
2003
Springer
15 years 12 months ago
2003
Springer
Hardware security modules can be used to encapsulate simple security services that bind security functions such as decryption with authorisation and authentication. Such hardware ...
158
click to vote
FORMATS
2003
Springer
15 years 12 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...
180
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In this paper, an agent-based evolutionary computing technique is introduced, that is geared towards the automatic induction and optimization of grammars for natural lang...
146
click to vote
IBPRIA
2003
Springer
15 years 12 months ago
2003
Springer
In this paper the capability of using self-organising neural maps (SOM) as music style classifiers of musical fragments is studied. From MIDI files, the monophonic melody track i...
159
click to vote
IDEAL
2003
Springer
15 years 11 months ago
2003
Springer
Conversational agent is a system that provides user with proper information and maintains the context of dialogue based on natural language. When experts design the network for con...