Sciweavers

11484 search results - page 150 / 2297
» Modeling in the Large and Modeling in the Small
Sort
View
DATE
2003
IEEE
86views Hardware» more  DATE 2003»
15 years 11 months ago
Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions
Temporal specification languages provide an efficient way to express events comprised of complex temporal scenarios. Assertions based on these languages are used to detect viola...
Avi Ziv
ICPR
2004
IEEE
16 years 7 months ago
Spontaneous Handwriting Recognition and Classification
Finite-state models are used to implement a handwritten text recognition and classification system for a real application entailing casual, spontaneous writing with large vocabula...
Alejandro Hector Toselli, Alfons Juan, Enrique Vid...
IJCNN
2007
IEEE
16 years 22 days ago
Upper Bound on Pattern Storage in Feedforward Networks
—Starting from the strict interpolation equations for multivariate polynomials, an upper bound is developed for the number of patterns that can be memorized by a nonlinear feedfo...
Pramod Lakshmi Narasimha, Michael T. Manry, Franci...
ICDM
2008
IEEE
156views Data Mining» more  ICDM 2008»
16 years 26 days ago
Exploiting Local and Global Invariants for the Management of Large Scale Information Systems
This paper presents a data oriented approach to modeling the complex computing systems, in which an ensemble of correlation models are discovered to represent the system status. I...
Haifeng Chen, Haibin Cheng, Guofei Jiang, Kenji Yo...
ICML
2004
IEEE
16 years 7 months ago
Learning large margin classifiers locally and globally
A new large margin classifier, named MaxiMin Margin Machine (M4 ) is proposed in this paper. This new classifier is constructed based on both a "local" and a "globa...
Kaizhu Huang, Haiqin Yang, Irwin King, Michael R. ...