10910 search results - page 1786 / 2182 » Input modeling using a computer algebra system |
223
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
This paper studies a stochastic game theoretic approach to security and intrusion detection in communication and computer networks. Specifically, an Attacker and a Defender take pa...
230
click to vote
AI
2005
Springer
15 years 7 months ago
2005
Springer
We present a formal model for qualitative spatial reasoning with cardinal directions utilizing a co-ordinate system. Then, we study the problem of checking the consistency of a se...
184
click to vote
TWC
2008
15 years 7 months ago
2008
A new accurate mathematical analysis is presented for the efficient computation of the spectral efficiency of CDMA downlink wireless communication systems in the presence of multip...
266
click to vote
PAMI
2012
13 years 10 months ago
2012
—In this paper, we propose a novel framework to estimate the parameters of a diffeomorphism that aligns a known shape and its distorted observation. Classical registration method...
201
click to vote
ENTCS
2002
15 years 7 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...