6014 search results - page 906 / 1203 » Parametric Analysis of Computer Systems |
140
Voted
JMLR
2010
14 years 11 months ago
2010
Networks are becoming a unifying framework for modeling complex systems and network inference problems are frequently encountered in many fields. Here, I develop and apply a gener...
117
click to vote
SIAMSC
2010
14 years 11 months ago
2010
In this article we are interested in the derivation of efficient domain decomposition methods for the viscous primitive equations of the ocean. We consider the rotating 3d incompre...
161
click to vote
ICIP
2001
IEEE
16 years 6 months ago
2001
IEEE
In this paper we address the problem of registering 3D scattered data by the mean of a statistical shape model. This model is built from a training set on which a principal compon...
156
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
We present a system that gathers and analyzes online discussion as it relates to consumer products. Weblogs and online message boards provide forums that record the voice of the p...
139
click to vote
SAS
2009
Springer
16 years 5 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...