689 search results - page 55 / 138 » Focusing in Linear Meta-logic |
134
Voted
WADS
2009
Springer
15 years 10 months ago
2009
Springer
Locked tree linkages have been known to exist in the plane since 1998, but it is still open whether they have a polynomial-time characterization. This paper examines the properties...
120
click to vote
ISCAS
2008
IEEE
15 years 10 months ago
2008
IEEE
—The multiple-input multiple-output (MIMO) radar concept has drawn considerable attention recently. In the traditional single-input multiple-output (SIMO) radar system, the trans...
143
click to vote
MMM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Cast indexing is a very important application for contentbased video browsing and retrieval, since the characters in feature-length films and TV series are always the ma...
145
click to vote
FSE
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents algebraic attacks on SOBER-t32 and SOBER-t16 without stuttering. For unstuttered SOBER-t32, two different attacks are implemented. In the first attack, we obt...
110
click to vote
CP
2006
Springer
15 years 7 months ago
2006
Springer
A wide range of counting and occurrence constraints can be specified with just two global primitives: the Range constraint, which computes the range of values used by a sequence of...