1423 search results - page 110 / 285 » Quantum logic as a dynamic logic |
92
Voted
CSREAESA
2009
14 years 11 months ago
2009
A Built-In Self-Test (BIST) approach is presented for the Internal Configuration Access Port (ICAP) and Frame Error Correcting Code (ECC) logic cores embedded in Xilinx Virtex-4 an...
78
Voted
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
In commercial spoken dialog systems, call flows are built by call flow designers implementing a predefined business logic. While it may appear obvious from this logic how the c...
89
Voted
ECRA
2002
14 years 10 months ago
2002
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...
94
Voted
POLICY
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we describe the use of description logic as the basis for a policy representation language and show how it is used in our implementation of a policy managed pervasi...
JELIA
1998
Springer
15 years 2 months ago
1998
Springer
Appeared in: Dix, J., del Cerro, F. L., and Furbach, U., editors, Logics in Artificial Intelligence (JELIA'98), Lecture Notes in Artificial Intelligence 1489, Springer, pages...