Sciweavers

5634 search results - page 699 / 1127
» About Abstract Classes
Sort
View
NJC
2000
169views more  NJC 2000»
15 years 6 months ago
A Type System for Bounded Space and Functional In-Place Update
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...
Martin Hofmann
JAPLL
2010
141views more  JAPLL 2010»
15 years 5 months ago
Algebraic tableau reasoning for the description logic SHOQ
Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or ...
Jocelyne Faddoul, Volker Haarslev
BMCBI
2011
15 years 1 months ago
Multiclass classification of microarray data samples with a reduced number of genes
Background: Multiclass classification of microarray data samples with a reduced number of genes is a rich and challenging problem in Bioinformatics research. The problem gets hard...
Elizabeth Tapia, Leonardo Ornella, Pilar Bulacio, ...
JAIR
2011
214views more  JAIR 2011»
14 years 9 months ago
Stackelberg vs. Nash in Security Games: An Extended Investigation of Interchangeability, Equivalence, and Uniqueness
There has been significant recent interest in game theoretic approaches to security, with much of the recent research focused on utilizing the leader-follower Stackelberg game mo...
Dmytro Korzhyk, Zhengyu Yin, Christopher Kiekintve...
NAR
2011
199views Computer Vision» more  NAR 2011»
14 years 9 months ago
FragmentStore - a comprehensive database of fragments linking metabolites, toxic molecules and drugs
Consideration of biomolecules in terms of their molecular building blocks provides valuable new information regarding their synthesis, degradation and similarity. Here, we present...
Jessica Ahmed, Catherine L. Worth, Paul Florian Th...