Sciweavers

2351 search results - page 227 / 471
» A Method of Requirement Inconsistency Analysis
Sort
View
DICTA
2003
15 years 7 months ago
Algebraic Curve Fitting Support Vector Machines
An algebraic curve is defined as the zero set of a multivariate polynomial. We consider the problem of fitting an algebraic curve to a set of vectors given an additional set of v...
Christian J. Walder, Brian C. Lovell, Peter J. Koo...
KDD
2002
ACM
179views Data Mining» more  KDD 2002»
16 years 6 months ago
From Data To Insight: The Community Of Multimedia Agents
Multimedia Data Mining requires the ability to automatically analyze and understand the content. The Community of Multimedia Agents project (COMMA) is devoted to creating an open ...
Gang Wei, Valery A. Petrushin, Anatole Gershman
PE
2010
Springer
102views Optimization» more  PE 2010»
15 years 4 months ago
Extracting state-based performance metrics using asynchronous iterative techniques
Solution of large sparse linear fixed-point problems lies at the heart of many important performance analysis calculations. These calculations include steady-state, transient and...
Douglas V. de Jager, Jeremy T. Bradley
FMCAD
2000
Springer
15 years 9 months ago
Scalable Distributed On-the-Fly Symbolic Model Checking
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
Shoham Ben-David, Tamir Heyman, Orna Grumberg, Ass...
MICCAI
2000
Springer
15 years 9 months ago
Retrospective Correction of MR Intensity Inhomogeneity by Information Minimization
In this paper, the problem of retrospective correction of intensity inhomogeneity in magnetic resonance (MR) images is addressed. A novel model-based correction method is proposed,...
Bostjan Likar, Max A. Viergever, Franjo Pernus