3047 search results - page 422 / 610 » On the Meaning of Logical Completeness |
129
Voted
CLIMA
2006
14 years 11 months ago
2006
We present a multi-agent formalism based on extended answer set programming. The system consists of independent agents connected via a communication channel, where knowledge and be...
70
Voted
ISSA
2004
14 years 11 months ago
2004
This paper describes a high data rate 8-bit Crypto Processor based on Advanced Encryption Standard (Rijndael algorithm). Though the algorithm requires 32-bit wide data path but ou...
SEC
2004
14 years 11 months ago
2004
Business Processes for Web Services (BPEL4WS) are the new paradigms for lightweight enterprise integration. They cross organizational boundaries and are provided by entities that s...
108
Voted
AAAI
1990
14 years 11 months ago
1990
Since knowledge bases (KBs) are usually incomplete, they should be able to provide information regarding their own incompleteness, which requires them to introspect on what they k...
62
Voted
CONEXT
2009
ACM
14 years 11 months ago
2009
ACM
The lack of automation associated with network operations in general and network configuration management in particular, is widely recognized as a significant contributing factor ...