8663 search results - page 40 / 1733 » 10 papers on network models |
123
click to vote
BMVC
2001
15 years 8 months ago
2001
This paper discusses advances made to the 3D geometrical model matching system within the TINA machine vision environment over the last 10 years including the recent inclusion of ...
291
click to vote
ICC
2007
IEEE
16 years 15 days ago
2007
IEEE
—Conventional 802.11 medium access control (MAC) characteristics. In particular, all of these designs adopted a protocols have been designed separately from the characteristics s...
170
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
155
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
This paper derives a methodology for developing accurate convex delay models to be used for transistor sizing. A new rich class of convex functions to model gate delay is presente...
166
click to vote
WSC
2007
15 years 8 months ago
2007
Commercial simulation environments offer model developers the ability to compose simulation models using generic or domain specific model constructs. Most simulation environments ...