348 search results - page 38 / 70 » Justification logics and hybrid logics |
DSD
2008
IEEE
14 years 2 months ago
2008
IEEE
Ultra low power digital systems are key for any future wireless sensor nodes but also inside nomadic embedded systems (such as inside the digital front end of software defined rad...
CSREASAM
2006
13 years 9 months ago
2006
: - Intrusion Detection Systems are increasingly a key part of systems defense. Various approaches to Intrusion Detection are currently being used, but they are relatively ineffect...
VTS
1997
IEEE
13 years 11 months ago
1997
IEEE
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...
SSDBM
2002
IEEE
14 years 14 days ago
2002
IEEE
In this paper, we study the effects of compression on bitmap indexes. The main operations on the bitmaps during query processing are bitwise logical operations such as AND, OR, N...
ACL
1989
13 years 8 months ago
1989
In BBN's natural language understanding and generation system (Janus), we have used a hybrid approach to representation, employing an intensional logic for the representation...