923 search results - page 102 / 185 » On the Topology of Discrete Strategies |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. The paper investigates a novel approach, based on Constraint Logic Programming (CLP), to predict the 3D conformation of a protein via fragments assembly. The fragments ar...
EJWCN
2010
13 years 4 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
VIS
2008
IEEE
14 years 10 months ago
2008
IEEE
The Morse-Smale (MS) complex has proven to be a useful tool in extracting and visualizing features from scalar-valued data. However, efficient computation of the MS complex for lar...
KDD
2008
ACM
14 years 9 months ago
2008
ACM
We present an approach to reconstructing chemical reaction networks from time series measurements of the concentrations of the molecules involved. Our solution strategy combines t...
ICIAP
2005
ACM
14 years 9 months ago
2005
ACM
In this paper, we propose a novel method which involves neural adaptive techniques for identifying salient features and for classifying high dimensionality data. In particular a ne...