4978 search results - page 153 / 996 » Logical models of argument |
122
click to vote
JDM
2000
15 years 3 months ago
2000
Little work has been completed which addresses the logical composition and use of ternary relationships in entity-relationship modeling. Many modeling notations and most CASE tool...
117
click to vote
MEMOCODE
2005
IEEE
15 years 9 months ago
2005
IEEE
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
104
click to vote
PATMOS
2005
Springer
15 years 9 months ago
2005
Springer
A new method for predicting timing jitter caused by device noise in current-mode logic (CML) frequency dividers is presented. Device noise transformation into jitter is modeled as ...
120
click to vote
DAC
1994
ACM
15 years 8 months ago
1994
ACM
Manufacturing disturbances are inevitable in the fabrication of integrated circuits. These disturbances will result in variations in the delay speci cations of manufactured circui...
128
click to vote
SIP
2007
15 years 5 months ago
2007
We present a variational PDE based model for tracking objects under occlusion. Here, prior shape information is used to segment object boundaries that are occluded. The novelty in...