3758 search results - page 296 / 752 » A Complete Subsumption Algorithm |
185
click to vote
CSB
2005
IEEE
16 years 7 days ago
2005
IEEE
Peptide compositions constructed out of whole sets of protein sequences can be used as species signatures for phylogenetic analysis. To account for point mutations, an amino acid ...
167
click to vote
CSFW
2005
IEEE
16 years 7 days ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
170
click to vote
ICDAR
2005
IEEE
16 years 6 days ago
2005
IEEE
A spanned cell in a table is a single, complete unit that physically occupies multiple columns and/or multiple rows. Spanned cells are common in tables, and they are a significan...
155
click to vote
ICRA
2005
IEEE
16 years 6 days ago
2005
IEEE
— The E∗ algorithm is a path planning method capable of dynamic replanning and user-configurable path cost interpolation. It calculates a navigation function as a sampling of ...
195
click to vote
ITRE
2005
IEEE
16 years 6 days ago
2005
IEEE
A Bayesian network model is a popular technique for data mining due to its intuitive interpretation. This paper presents a semantic genetic algorithm (SGA) to learn a complete qual...