36781 search results - page 163 / 7357 » Parameterizing by the Number of Numbers |
140
click to vote
ICCAD
2008
IEEE
16 years 3 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...
158
click to vote
SEFM
2009
IEEE
16 years 29 days 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...
151
Voted
RTA
2009
Springer
16 years 23 days 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...
142
Voted
APSCC
2008
IEEE
16 years 22 days 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...
143
click to vote
CDC
2008
IEEE
16 years 22 days 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...