6431 search results - page 1068 / 1287 » Model Building by Resolution |
148
Voted
CC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...
121
Voted
CVPR
2009
IEEE
15 years 10 months ago
2009
IEEE
We propose novel algorithms for the detection, segmentation, recognition, and pose estimation of threedimensional objects. Our approach initially infers geometric primitives to de...
137
Voted
ICML
2009
IEEE
15 years 10 months ago
2009
IEEE
One of the main problems in probabilistic grammatical inference consists in inferring a stochastic language, i.e. a probability distribution, in some class of probabilistic models...
97
Voted
SAC
2009
ACM
15 years 10 months ago
2009
ACM
Component-Based Development(CBD) is an emerging discipline for promoting practical reuse of software. In CBD, by building new software with independently developed components, we ...
139
Voted
ARC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Monte Carlo simulation is one of the most widely used techniques for computationally intensive simulations in mathematical analysis and modeling. A multivariate Gaussian ...