689 search results - page 55 / 138 » Focusing in Linear Meta-logic |
WADS
2009
Springer
14 years 2 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...
ISCAS
2008
IEEE
14 years 2 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...
MMM
2007
Springer
14 years 2 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...
FSE
2004
Springer
14 years 1 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...
CP
2006
Springer
13 years 11 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...