Sciweavers

4860 search results - page 765 / 972
» SNPs Problems, Complexity, and Algorithms
Sort
View
ICCS
1993
Springer
15 years 10 months ago
Towards Domain-Independent Machine Intelligence
Adaptive predictive search (APS), is a learning system framework, which given little initial domain knowledge, increases its decision-making abilities in complex problems domains....
Robert Levinson
CONCUR
2007
Springer
15 years 10 months ago
Temporal Antecedent Failure: Refining Vacuity
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
Shoham Ben-David, Dana Fisman, Sitvanit Ruah
CP
2007
Springer
15 years 10 months ago
Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure
Abstract. Computing the minimal network (or minimal CSP) representation of a given set of constraints over the Point Algebra (PA) is a fundamental reasoning problem. In this paper ...
Alfonso Gerevini, Alessandro Saetti
GLOBECOM
2009
IEEE
15 years 10 months ago
Subcarrier-Pair Based Resource Allocation for Cooperative AF Multi-Relay OFDM Systems
We study the joint allocation of three types of resources, namely, power, subcarriers and relay nodes, in cooperative two-hop multi-relay OFDM systems. Each relay adopts the amplif...
Wenbing Dang, Meixia Tao, Hua Mu, Jianwei Huang
GCB
2006
Springer
99views Biometrics» more  GCB 2006»
15 years 10 months ago
Shape Distributions and Protein Similarity
: In this paper we describe a similarity model that provides the objective basis for clustering proteins of similar structure. More specifically, we consider the following variant ...
Stefan Canzar, Jan Remy