334 search results - page 25 / 67 » Timed Property Sequence Chart |
114
Voted
CORR
2004
Springer
15 years 15 days ago
2004
Springer
We present a polymorphic type system for lambda calculus ensuring that welltyped programs can be executed in polynomial time: dual light affine logic (DLAL). DLAL has a simple typ...
124
click to vote
CAV
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
122
Voted
SDM
2009
SIAM
15 years 9 months ago
2009
SIAM
Change-point detection is the problem of discovering time points at which properties of time-series data change. This covers a broad range of real-world problems and has been acti...
98
Voted
ICCV
2005
IEEE
16 years 2 months ago
2005
IEEE
Many parameter estimation problems admit divide and conquer or partitioning techniques in order to reduce a highdimensional task into several reduced-dimension problems. These tec...
91
Voted
GLOBECOM
2007
IEEE
15 years 7 months ago
2007
IEEE
—This paper presents an iterative receiver for Multiple-Input Multiple-Output (MIMO) Orthogonal Frequency Division Multiplexing (OFDM) systems. The receiver performs channel esti...