77016 search results - page 216 / 15404 » Modeling |
131
click to vote
JISE
1998
15 years 3 months ago
1998
straction reduces the number of states necessary to perform formal verification while maintaining the functionality of the original model with respect to ifications to be verified....
142
Voted
NHM
2010
14 years 10 months ago
2010
This paper deals with various applications of conservation laws on networks. In particular we consider the car traffic, described by the LighthillWhitham-Richards model and by the ...
128
click to vote
ECCV
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. Tree-structured models have been widely used for human pose estimation, in either 2D or 3D. While such models allow efficient learning and inference, they fail to capture...
120
click to vote
ICEIS
2009
IEEE
15 years 10 months ago
2009
IEEE
Enterprise modeling is a daunting task to be carried out from a single perspective. A challenge to this whole complexity is conflicting descriptions given by different actors when ...
139
click to vote
ANSS
2008
IEEE
15 years 10 months ago
2008
IEEE
It is common for simulation and analytical studies to model Internet traffic as an aggregation of mostly persistent TCP flows. In practice, however, flows follow a heavytailed ...