329 search results - page 34 / 66 » Elliptic Control by Penalty Techniques with Control Reductio... |
NJC
2006
13 years 7 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— The goal of this paper is to develop modeling techniques for complex systems for the purposes of control, estimation, and inference: (i) A new class of Hidden Markov Models is ...
ASPDAC
2001
ACM
13 years 11 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
ICC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—We propose a closed–loop scheme that combines opportunistic beamforming (OBF) and closed–loop (CL) transmit–diversity (TD) techniques. This quantized OBF scheme is...
MOBISYS
2008
ACM
14 years 7 months ago
2008
ACM
Deployments of city-wide multi-hop 802.11 networks introduce challenges for maintaining client performance at vehicular speeds. We experimentally demonstrate that current network ...