Sciweavers

1127 search results - page 133 / 226
» General fuzzy linear systems
Sort
View
ICASSP
2009
IEEE
15 years 11 months ago
View-invariant tensor null-space representation for multiple motion trajectory retrieval and classification
In this paper, we propose a novel general framework for tensor based null space affine invariants, namely, tensor null space invariants (TNSI) with a linear classifier for high ...
Xu Chen, Dan Schonfeld, Ashfaq Khokhar
ICDM
2008
IEEE
112views Data Mining» more  ICDM 2008»
15 years 10 months ago
Supervised Inductive Learning with Lotka-Volterra Derived Models
We present a classification algorithm built on our adaptation of the Generalized Lotka-Volterra model, well-known in mathematical ecology. The training algorithm itself consists ...
Karen Hovsepian, Peter Anselmo, Subhasish Mazumdar
131
Voted
TLCA
2007
Springer
15 years 10 months ago
Polynomial Size Analysis of First-Order Functions
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly...
Olha Shkaravska, Ron van Kesteren, Marko C. J. D. ...
DAC
2006
ACM
15 years 10 months ago
A systematic method for functional unit power estimation in microprocessors
We present a new method for mathematically estimating the active unit power of functional units in modern microprocessors such as the Pentium 4 family. Our method leverages the ph...
Wei Wu, Lingling Jin, Jun Yang 0002, Pu Liu, Sheld...
RISE
2004
Springer
15 years 9 months ago
A Symbolic Model Checker for tccp Programs
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
María Alpuente, Moreno Falaschi, Alicia Vil...