25156 search results - page 128 / 5032 » Applications for conscious systems |
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
Consider a flat-fading Multiple-Input Multiple-Output (MIMO) system. The near-optimum detection problematic has been shown to be efficiently solved through QR Decomposition (QRD...
IROS
2008
IEEE
14 years 4 months ago
2008
IEEE
— This paper deals with a control approach dedicated to stable limit cycle generation for underactuated mechanical systems. The proposed approach is based on partial nonlinear fe...
FSTTCS
2007
Springer
14 years 4 months ago
2007
Springer
We introduce PEP, the Post Embedding Problem, a variant of PCP where one compares strings with the subword relation, and PEPreg , a further variant where solutions are constrained ...
DLOG
2001
13 years 11 months ago
2001
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized ...
ENTCS
2010
13 years 7 months ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....