2496 search results - page 132 / 500 » On covering by translates of a set |
160
click to vote
ISCAS
2008
IEEE
16 years 27 days ago
2008
IEEE
—An energy detector designed in a 0.18μm CMOS technology and intended for a non-coherent impulse-radio UWB receiver is presented in this paper. The proposed circuit exploits the...
135
click to vote
ICMCS
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper proposes an RST-invariant multi-bit watermarking system based on LPM and DFT. This system embeds the watermark in a rotation and translation invariant domain obtained b...
135
click to vote
BPM
2005
Springer
16 years 1 days ago
2005
Springer
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
132
click to vote
FM
2005
Springer
16 years 12 hour ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
156
click to vote
MMSEC
2004
ACM
15 years 12 months ago
2004
ACM
This paper presents a high-capacity method to embed information into the geometry of a 3D polygonal mesh. The method extends a previously reported work, to which several improveme...