Sciweavers

3909 search results - page 285 / 782
» Extreme Model Checking
Sort
View
PARA
2004
Springer
15 years 8 months ago
HPC-ICTM: The Interval Categorizer Tessellation-Based Model for High Performance Computing
Abstract. This paper presents the Interval Categorizer Tessellationbased Model (ICTM) for the simultaneous categorization of geographic regions considering several characteristics ...
Marilton S. de Aguiar, Graçaliz Pereira Dim...
120
Voted
IWANN
2001
Springer
15 years 8 months ago
A Penalization Criterion Based on Noise Behaviour for Model Selection
Complexity-penalization strategies are one way to decide on the most appropriate network size in order to address the trade-off between overfitted and underfitted models. In this p...
Joaquín Pizarro Junquera, Pedro Galindo Ria...
DSN
2000
IEEE
15 years 8 months ago
DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems
Multiple-Phased Systems, whose operational life can be partitioned in a set of disjoint periods, called “phases”, include several classes of systems such as Phased Mission Sys...
Andrea Bondavalli, Ivan Mura, Silvano Chiaradonna,...
SIGIR
1999
ACM
15 years 7 months ago
A Hidden Markov Model Information Retrieval System
We present a new method for information retrievalusing hidden Markov models (HMMs). We develop a general framework for incorporating multiple word generation mechanisms within the...
David R. H. Miller, Tim Leek, Richard M. Schwartz
154
Voted
BMVC
2010
15 years 1 months ago
Clustered Pose and Nonlinear Appearance Models for Human Pose Estimation
We investigate the task of 2D articulated human pose estimation in unconstrained still images. This is extremely challenging because of variation in pose, anatomy, clothing, and i...
Sam Johnson, Mark Everingham