Sciweavers

16666 search results - page 2779 / 3334
» Descriptive and Computational Complexity
Sort
View
FSTTCS
2009
Springer
16 years 1 months ago
Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
M. Praveen, Kamal Lodaya
GECCO
2009
Springer
135views Optimization» more  GECCO 2009»
16 years 1 months ago
Neuroevolutionary reinforcement learning for generalized helicopter control
Helicopter hovering is an important challenge problem in the field of reinforcement learning. This paper considers several neuroevolutionary approaches to discovering robust cont...
Rogier Koppejan, Shimon Whiteson
ICB
2009
Springer
119views Biometrics» more  ICB 2009»
16 years 1 months ago
Multi-Region Probabilistic Histograms for Robust and Scalable Identity Inference
We propose a scalable face matching algorithm capable of dealing with faces subject to several concurrent and uncontrolled factors, such as variations in pose, expression, illumina...
Conrad Sanderson, Brian C. Lovell
ICB
2009
Springer
355views Biometrics» more  ICB 2009»
16 years 1 months ago
3D Signatures for Fast 3D Face Recognition
We propose a vector representation (called a 3D signature) for 3D face shape in biometrics applications. Elements of the vector correspond to fixed surface points in a face-centere...
Chris Boehnen, Tanya Peters, Patrick J. Flynn
ICHIT
2009
Springer
16 years 1 months ago
Adaptive PSAM in SIMO systems with imperfect CSI in Rayleigh fading channels
In this paper we provide an adaptive modulation approach that uses adaptive pilot symbols which both pilot spacing and power allocation on pilot symbols are optimized in single in...
Reza Barazideh, Babak Seyfe
« Prev « First page 2779 / 3334 Last » Next »