1536 search results - page 239 / 308 » The Underlying Logic of Hoare Logic |
158
click to vote
FUZZIEEE
2007
IEEE
16 years 15 days ago
2007
IEEE
—In the past, we proposed a genetic-fuzzy data-mining algorithm for extracting both association rules and membership functions from quantitative transactions under a single minim...
156
click to vote
FUZZIEEE
2007
IEEE
16 years 15 days ago
2007
IEEE
— DNA sequence basecalling is commonly regarded as a solved problem, despite significant error rates being reflected in inaccuracies in databases and genome annotations. This has...
165
click to vote
ICCCN
2007
IEEE
16 years 15 days ago
2007
IEEE
Abstract— The switch architecture with the combined inputcrosspoint queueing (CICQ) scheme has been recognized as a practical promising solution for building cost-effective highp...
182
click to vote
ICPP
2007
IEEE
16 years 14 days ago
2007
IEEE
A self-organizing peer-to-peer system is built upon an application level overlay, whose topology is independent of underlying physical network. A well-routed message path in such ...
195
click to vote
LICS
2007
IEEE
16 years 13 days ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...