4066 search results - page 293 / 814 » Almost Complete Sets |
148
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Bit vectors and bit operations are proposed for efficient propositional inference. Bit arithmetic has efficient software and hardware implementations, which can be put to advantage...
188
click to vote
ICIAP
2003
ACM
16 years 6 months ago
2003
ACM
A completely automatic face recognition system is presented. The method works on color and gray level images: after having localized the face and the facial features, it determine...
136
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
Abstract— This paper proposes a technique for creating a combinational logic network with an output that signals when all other outputs have stabilized. The method is based on du...
177
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
This paper investigates a Description Logic, namely SHI+, which extends SHI by adding transitive closure of roles. The resulting logic SHI+ allows transitive closure of roles to oc...
156
click to vote
DEXAW
2008
IEEE
16 years 1 months ago
2008
IEEE
The aim of this work is to provide a robust way for peers with heterogeneous data sources to exchange information in an unreliable network. We address this problem in two ways. Fi...