Sciweavers

1529 search results - page 91 / 306
» Search Space Analysis of the Linear Ordering Problem
Sort
View
DLOG
2007
15 years 6 months ago
Action Based ABox Update: an Example from the Chemical Compound Formulation
Abstract. The Chemical Formulation Problem (Compounding Problem) consists in modifying the chemical formulation of a compound in order to obtain a new compound showing a set of des...
Alessandro Mosca, Matteo Palmonari
TALG
2010
158views more  TALG 2010»
14 years 10 months ago
Clustering for metric and nonmetric distance measures
We study a generalization of the k-median problem with respect to an arbitrary dissimilarity measure D. Given a finite set P of size n, our goal is to find a set C of size k such t...
Marcel R. Ackermann, Johannes Blömer, Christi...
CDC
2008
IEEE
119views Control Systems» more  CDC 2008»
15 years 6 months ago
Formal analysis of timed continuous Petri nets
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
Marius Kloetzer, Cristian Mahulea, Calin Belta, La...
BIOCOMP
2009
15 years 5 months ago
Analysis of Long Branch Extraction
Long branch attraction is a problem that afflicts phylogenetic methods and a procedure to detect a data set suffering from this problem is the long branch extraction method[1]. Thi...
Timothy O'Connor, Kenneth Sundberg, Hyrum Carroll,...
CVPR
2006
IEEE
16 years 6 months ago
Accelerated Kernel Feature Analysis
A fast algorithm, Accelerated Kernel Feature Analysis (AKFA), that discovers salient features evidenced in a sample of n unclassified patterns, is presented. Like earlier kernel-b...
Xianhua Jiang, Yuichi Motai, Robert R. Snapp, Xing...