7988 search results - page 403 / 1598 » A Useful Undecidable Theory |
180
click to vote
JAR
2008
15 years 6 months ago
2008
Statistical quantities, such as expectation (mean) and variance, play a vital role in the present age probabilistic analysis. In this paper, we present some formalization of expect...
196
click to vote
PRL
2006
15 years 6 months ago
2006
A robust and effective feature map integration method is presented for infrared (IR) target recognition. Noise in an IR image makes a target recognition system unstable in pose es...
192
click to vote
IJMMS
2007
15 years 6 months ago
2007
Much has been written of the facilities for ontology building and reasoning offered for ontologies expressed in the Web Ontology Language (OWL). Less has been written about how th...
139
click to vote
TASLP
2010
15 years 5 months ago
2010
—In this paper, a complete method for finite-difference time-domain modeling of rooms in 2-D using compact explicit schemes is presented. A family of interpolated schemes using ...
202
click to vote
CISC
2009
Springer
15 years 4 months ago
2009
Springer
The anticipation game framework is an extension of attack graphs based on game theory. It is used to anticipate and analyze intruder and administrator concurrent interactions with ...