2153 search results - page 234 / 431 » From Requirements Models to Formal Specifications in B |
124
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Extracting key-frames is the first step for efficient content-based indexing, browsing and retrieval of the video data in commercial movies. Most of the existing research deals wi...
196
click to vote
ADHOCNOW
2003
Springer
15 years 11 months ago
2003
Springer
This paper models an ad-hoc network as a continuum of nodes, ignoring edge effects, to find how the traffic scales with N, the number of nodes. We obtain expressions for the traffi...
193
click to vote
DAC
2010
ACM
15 years 4 months ago
2010
ACM
Numerous algorithms to macromodel a linear time-invariant (LTI) system from its frequency-domain sampling data have been proposed in recent years [1, 2, 3, 4, 5, 6, 7, 8], among w...
169
click to vote
WSCG
2003
15 years 7 months ago
2003
Boolean operations and feature-based modeling are closely linked domains. For example, several, sometimes many Boolean operations are involved during a feature instantiation or mo...
165
click to vote
3DIM
2001
IEEE
15 years 10 months ago
2001
IEEE
In this paper, we present our Dual-Beam Structured-Light Scanner (DSLS), a scanning system that generates range maps much richer than those obtained from a conventional structured...