5622 search results - page 351 / 1125 » Solving architectural modelling problems using knowledge |
175
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
203
click to vote
CVPR
2003
IEEE
16 years 1 days ago
2003
IEEE
Problem of segmenting individual humans in crowded situations from stationary video camera sequences is exacerbated by object inter-occlusion. We pose this problem as a “model-b...
162
click to vote
TJS
2008
15 years 6 months ago
2008
Multiple memory models have been proposed to capture the effects of memory hierarchy culminating in the I-O model of Aggarwal and Vitter [?]. More than a decade of architectural a...
227
click to vote
NIPS
1994
15 years 8 months ago
1994
Deformable models are an attractive approach to recognizing nonrigid objects which have considerable within class variability. However, there are severe search problems associated...
189
click to vote
MATES
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The formalization and use of experiences in good model design would make an important contribution to increasing the efficiency of modeling as well as to supporting the k...