Sciweavers

363 search results - page 67 / 73
» About paths with two blocks
Sort
View
TABLEAUX
2000
Springer
14 years 1 months ago
Benchmark Analysis with FaCT
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
Ian Horrocks
CCS
2008
ACM
13 years 12 months ago
Towards provable secure neighbor discovery in wireless networks
In wireless systems, neighbor discovery (ND) is a fundamental building block: determining which devices are within direct radio communication is an enabler for networking protocol...
Marcin Poturalski, Panagiotis Papadimitratos, Jean...
BMCBI
2010
126views more  BMCBI 2010»
13 years 10 months ago
Cgaln: fast and space-efficient whole-genome alignment
Background: Whole-genome sequence alignment is an essential process for extracting valuable information about the functions, evolution, and peculiarities of genomes under investig...
Ryuichiro Nakato, Osamu Gotoh
BMCBI
2008
111views more  BMCBI 2008»
13 years 10 months ago
Molecular docking studies of dithionitrobenzoic acid and its related compounds to protein disulfide isomerase: computational scr
Background: Entry of HIV-1 into human lymphoid requires activities of viral envelope glycoproteins gp120 and gp41, and two host-cell proteins, the primary receptor CD4 and a chemo...
Uthaman Gowthaman, Mannu Jayakanthan, Durai Sundar
IVC
2008
101views more  IVC 2008»
13 years 10 months ago
A system for processing handwritten bank checks automatically
In the US and many other countries, bank checks are preprinted with the account number and the check number in MICR ink and format; as such, these two numeric fields can be easily...
Rafael Palacios, Amar Gupta