4502 search results - page 452 / 901 » Regular Model Checking |
224
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Sparse modeling is a powerful framework for data analysis and processing. Traditionally, encoding in this framework is performed by solving an 1-regularized linear regression prob...
213
click to vote
ICASSP
2009
IEEE
16 years 2 months ago
2009
IEEE
HMM based synthesis has attracted great interest due to its compact and flexible modelling of spectral and prosodic parameters. In this approach, short term spectra, fundamental ...
205
click to vote
CSCW
2008
ACM
15 years 9 months ago
2008
ACM
This article presents a rational model developed under the distributed cognition framework that explains how social tags influence knowledge acquisition and adaptation in explorat...
166
click to vote
BC
2008
15 years 7 months ago
2008
For simulations of large spiking neuron networks, an accurate, simple and versatile single-neuron modeling framework is required. Here we explore the versatility of a simple two-eq...
215
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The performance in higher secondary school education in India is a turning point in the academic lives of all students. As this academic performance is influenced by many factors,...