549 search results - page 32 / 110 » Verification condition generation for conditional informatio... |
76
Voted
FLAIRS
2001
15 years 1 months ago
2001
Wereviewand extendthe qualitative relationships about the informational relevanceof variables in graphical decision modelsbased on conditional independenciesrevealedthroughgraphic...
131
click to vote
CTRSA
2009
Springer
15 years 4 months ago
2009
Springer
In many applications, it is desirable to work with signatures that are both short, and yet where many messages from different signers be verified very quickly. RSA signatures sati...
121
Voted
BIOADIT
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. A method is presented to predict phase relationships between coupled phase oscillators. As an illustration of how the method can be applied, a distributed Central Pattern...
89
Voted
WCE
2007
15 years 1 months ago
2007
—Moving object detection is very important for video surveillance. In this paper, we present a new real time motion detection algorithm that is based on the integration of accumu...
108
click to vote
CODES
1998
IEEE
15 years 4 months ago
1998
IEEE
Next generation embedded systems place new demands on an efficient methodology for their design and verification. These systems have to support interaction over a network, multipl...