Sciweavers

2612 search results - page 154 / 523
» Mobile Processes and Termination
Sort
View
TWC
2008
177views more  TWC 2008»
13 years 10 months ago
Generalized Design of Multi-User MIMO Precoding Matrices
In this paper we introduce a novel linear precoding technique. The approach used for the design of the precoding matrix is general and the resulting algorithm can address several o...
Veljko Stankovic, Martin Haardt
GECCO
2009
Springer
148views Optimization» more  GECCO 2009»
13 years 8 months ago
Genetic programming for quantitative stock selection
We provide an overview of using genetic programming (GP) to model stock returns. Our models employ GP terminals (model decision variables) that are financial factors identified by...
Ying L. Becker, Una-May O'Reilly
CSFW
2011
IEEE
12 years 10 months ago
Formal Analysis of Protocols Based on TPM State Registers
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...
Stéphanie Delaune, Steve Kremer, Mark Dermo...

Publication
273views
12 years 8 months ago
 Beyond Graphs: A New Synthesis.
Artificial neural networks, electronic circuits, and gene networks are some examples of systems that can be modeled as networks, that is, as collections of interconnected nodes. I...
Mattiussi, Claudio, Dürr, Peter, Marbach, Daniel ...
ICASSP
2007
IEEE
14 years 4 months ago
An Adaptive Algorithm for Sampling Two-Dimensional Fields using Mobile Sensors
In this paper, we propose an adaptive algorithm for sampling and reconstructing two-dimensional fields using mobile sensors that can move to designated locations to collect measu...
Huiyu Luo, Xiangming Kong, Gregory J. Pottie