Sciweavers

3690 search results - page 140 / 738
» Computation with classical sequents
Sort
View
AB
2008
Springer
15 years 4 months ago
Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems
In this paper, we show how to analyze bifurcation and limit cycles for biological systems by using an algebraic approach based on triangular decomposition, Gr¨obner bases, discrim...
Wei Niu, Dongming Wang
AINA
2007
IEEE
15 years 4 months ago
A Semi-Automatic Framework for Mining ERP Patterns
Event-related potentials (ERP) are brain electrophysiological patterns created by averaging electroencephalographic (EEG) data, time-locking to events of interest (e.g., stimulus ...
Jiawei Rong, Dejing Dou, Gwen A. Frishkoff, Robert...
ICIC
2007
Springer
15 years 4 months ago
A Sparse Kernel Density Estimation Algorithm Using Forward Constrained Regression
Abstract. Using the classical Parzen window (PW) estimate as the target function, the sparse kernel density estimator is constructed in a forward constrained regression manner. The...
Xia Hong, Sheng Chen, Chris Harris
CCECE
2006
IEEE
15 years 4 months ago
Security Design Patterns: Survey and Evaluation
Security design patterns have been proposed recently as a tool for the improvement of software security during the architecture and design phases. Since the apperance of this rese...
Marc-André Laverdière, Azzam Mourad,...
CVPR
2006
IEEE
15 years 4 months ago
Spatial Weighting for Bag-of-Features
This paper presents an extension to category classification with bag-of-features, which represents an image as an orderless distribution of features. We propose a method to explo...
Marcin Marszalek, Cordelia Schmid