2381 search results - page 327 / 477 » On Ordering Descriptions in a Description Logic |
93
Voted
COOPIS
2004
IEEE
15 years 5 months ago
2004
IEEE
Abstract. Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reu...
109
click to vote
CLEF
2006
Springer
15 years 5 months ago
2006
Springer
This article presents the first participation of the Avignon University Science Laboratory (LIA) to the Cross Language Evaluation Forum (CLEF). LIA participated to the monolingual ...
113
click to vote
FAABS
2004
Springer
15 years 5 months ago
2004
Springer
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...
166
Voted
ASIACRYPT
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We apply autocorrelation and Walsh coefficients for the investigation of correlation immune and resilient Boolean functions. We prove new lower bound for the absolute ind...
172
Voted
ISN
2000
Springer
15 years 5 months ago
2000
Springer
Network Control is currently carried out mainly by means of signalling protocols. Although these protocols are robust and facilitate standardisation, they present several drawback...