Sciweavers

1897 search results - page 63 / 380
» Conditional Linear Planning
Sort
View
CAV
2006
Springer
164views Hardware» more  CAV 2006»
15 years 1 months ago
Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
Grigore Rosu, Saddek Bensalem
ESORICS
2010
Springer
14 years 10 months ago
Secure Multiparty Linear Programming Using Fixed-Point Arithmetic
Collaborative optimization problems can often be modeled as a linear program whose objective function and constraints combine data from several parties. However, important applicat...
Octavian Catrina, Sebastiaan de Hoogh
AUTOMATICA
2004
85views more  AUTOMATICA 2004»
14 years 9 months ago
Non-regular feedback linearization of nonlinear systems via a normal form algorithm
In this paper, the problem of non-regular static state feedback linearization of a ne nonlinear systems is considered. First of all, a new canonical form for non-regular feedback ...
Daizhan Cheng, Xiaoming Hu, Yuzhen Wang
EOR
2011
106views more  EOR 2011»
14 years 1 months ago
Probability of unique integer solution to a system of linear equations
We consider a system of m linear equations in n variables Ax = d and give necessary and sufficient conditions for the existence of a unique solution to the system that is integer:...
O. L. Mangasarian, Benjamin Recht
VTC
2006
IEEE
174views Communications» more  VTC 2006»
15 years 4 months ago
ML Detection with Blind Linear Prediction for Differential Space-Time Block Code Systems
Abstract— This paper proposes a maximum likelihood detection (MLD) method for the differential space-time block code (DSTBC) in cooperation with blind linear prediction (BLP) of ...
Seree Wanichpakdeedecha, Kazuhiko Fukawa, Hiroshi ...