Sciweavers

537 search results - page 95 / 108
» Ontologies for Effective Use of Context in e-Learning Settin...
Sort
View
88
Voted
CADE
2007
Springer
15 years 9 months ago
Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic
Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that combines 1) Boolean algebra of sets of uninterpreted elements (BA) and 2) Presburger arithmetic (PA). BA...
Viktor Kuncak, Martin C. Rinard
72
Voted
INFOCOM
2008
IEEE
15 years 3 months ago
Peacock Hashing: Deterministic and Updatable Hashing for High Performance Networking
—Hash tables are extensively used in networking to implement data-structures that associate a set of keys to a set of values, as they provide O(1), query, insert and delete opera...
Sailesh Kumar, Jonathan S. Turner, Patrick Crowley
81
Voted
CIBCB
2006
IEEE
15 years 1 months ago
Efficient Probe Selection in Microarray Design
Abstract-- The DNA microarray technology, originally developed to measure the level of gene expression, had become one of the most widely used tools in genomic study. Microarrays h...
Leszek Gasieniec, Cindy Y. Li, Paul Sant, Prudence...
NIPS
1998
14 years 11 months ago
Facial Memory Is Kernel Density Estimation (Almost)
We compare the ability of three exemplar-based memory models, each using three different face stimulus representations, to account for the probability a human subject responded &q...
Matthew N. Dailey, Garrison W. Cottrell, Thomas A....
BMCBI
2007
154views more  BMCBI 2007»
14 years 9 months ago
Cinteny: flexible analysis and visualization of synteny and genome rearrangements in multiple organisms
Background: Identifying syntenic regions, i.e., blocks of genes or other markers with evolutionary conserved order, and quantifying evolutionary relatedness between genomes in ter...
Amit U. Sinha, Jaroslaw Meller