667 search results - page 3 / 134 » On Various Negative Translations |
ISMIS
2005
Springer
13 years 10 months ago
2005
Springer
A class of formulas called factored negation normal form is introduced. They are closely related to BDDs, but there is a DPLL-like tableau procedure for computing them that operate...
JSAC
2006
13 years 5 months ago
2006
In defending against various network attacks, such as distributed denial-of-service (DDoS) attacks or worm attacks, a defense system needs to deal with various network conditions a...
ICMCS
2007
IEEE
13 years 11 months ago
2007
IEEE
Haptic Collaboration Virtual Environment (HCVE) is an enhanced virtual reality space that supports sense of touch, which is called “haptic”. In HCVE, remote users connected ov...
IPM
2006
13 years 5 months ago
2006
In this paper, we propose a new learning method for extracting bilingual word pairs from parallel corpora in various languages. In cross-language information retrieval, the system...
ICITA
2005
IEEE
13 years 11 months ago
2005
IEEE
Even though IPv6 has been developed for more than a decade, IPv4 is still the most commonly adopted network protocol. However, the significant changes in the new version may cause...