3095 search results - page 160 / 619 » Ubiquitous presence systems |
ENTCS
2008
13 years 10 months ago
2008
We present a system of refinement types for LF in the style of recent formulations where only canonical forms are well-typed. Both the usual LF rules and the rules for type refine...
SIAMCO
2008
13 years 10 months ago
2008
Abstract. When applying methods of optimal control to motion planning or stabilization problems, some theoretical or numerical difficulties may arise, due to the presence of specif...
AUTOMATICA
2002
13 years 10 months ago
2002
For a dual-rate control system where the output sampling interval is an integer multiple of the control interval, we propose a model-based inferential control scheme which uses a ...
ECBS
2009
IEEE
14 years 5 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
VTC
2007
IEEE
14 years 4 months ago
2007
IEEE
— The use of multiple transmit and receive antennas in combination with multicarrier modulation, e.g. MIMO-OFDM, is a very promising technique for future wireless communication s...