36781 search results - page 163 / 7357 » Parameterizing by the Number of Numbers |
ICCAD
2008
IEEE
14 years 7 months ago
2008
IEEE
— In an incompletely specified function f, don’t care values can be chosen to minimize the number of variables to represent f. It is shown that, in incompletely specified fun...
SEFM
2009
IEEE
14 years 5 months ago
2009
IEEE
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
RTA
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We consider the problem of deciding the security of cryptographic protocols for a bounded number of sessions, taking into account some algebraic properties of the securit...
APSCC
2008
IEEE
14 years 5 months ago
2008
IEEE
Given vehicle images, we suggest a way to recognize the color of the vehicle contained in the image. The color feature of a vehicle is represented by a color histogram, and we dec...
CDC
2008
IEEE
14 years 5 months ago
2008
IEEE
— In this paper we examine the leader-to-follower ratio needed to maintain connectivity in a leader-follower multiagent network with proximity based communication topology. In th...