2871 search results - page 152 / 575 » An Auxiliary Variational Method |
159
click to vote
WSC
2000
15 years 7 months ago
2000
Circumstance Descriptors are offered as a way to organize spatial and other military knowledge that may be difficult to formulate, particularly the kinds of details that are most ...
194
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Sequence comparison is one of the most prominent tools in biological research, and is instrumental in studying gene function and evolution. The rapid development of hi...
165
click to vote
TNN
1998
15 years 6 months ago
1998
— This paper introduces a new system for real-time detection and classification of arbitrarily scattered surface-laid mines from multispectral imagery data of a minefield. The ...
154
click to vote
APAL
2002
15 years 6 months ago
2002
A notion called Herbrand saturation is shown to provide the modeltheoretic analogue of a proof-theoretic method, Herbrand analysis, yielding uniform model-theoretic proofs of a nu...
178
click to vote
ASPDAC
2009
ACM
16 years 1 months ago
2009
ACM
— As technology scales, the delay uncertainty caused by process variations has become increasingly pronounced in deep submicron designs. In the presence of process variations, wo...