Sciweavers

4488 search results - page 312 / 898
» Properties of NP-Complete Sets
Sort
View
ICGI
2004
Springer
16 years 7 days ago
Identifying Clusters from Positive Data
The present work studies clustering from an abstract point of view and investigates its properties in the framework of inductive inference. Any class S considered is given by a hyp...
John Case, Sanjay Jain, Eric Martin, Arun Sharma, ...
ATAL
2010
Springer
15 years 8 months ago
Decision rules and decision markets
We explore settings where a principal must make a decision about which action to take to achieve a desired outcome. The principal elicits the probability of achieving the outcome ...
Abraham Othman, Tuomas Sandholm
BMCBI
2007
105views more  BMCBI 2007»
15 years 6 months ago
VaxiJen: a server for prediction of protective antigens, tumour antigens and subunit vaccines
Background: Vaccine development in the post-genomic era often begins with the in silico screening of genome information, with the most probable protective antigens being predicted...
Irini A. Doytchinova, Darren R. Flower
SAS
2010
Springer
121views Formal Methods» more  SAS 2010»
15 years 5 months ago
Alternation for Termination
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...
William R. Harris, Akash Lal, Aditya V. Nori, Srir...
ICDE
2009
IEEE
180views Database» more  ICDE 2009»
16 years 8 months ago
Reverse Furthest Neighbors in Spatial Databases
Given a set of points P and a query point q, the reverse furthest neighbor (RFN) query fetches the set of points p P such that q is their furthest neighbor among all points in P {...
Bin Yao, Feifei Li, Piyush Kumar