Sciweavers

227 search results - page 2 / 46
» A new look at state-space models for neural data
Sort
View
ICANN
2010
Springer
13 years 5 months ago
On the Fringe of Awareness: The Glance-Look Model of Attention-Emotion Interactions
In previous work, we have developed a "Glance-Look" model, which has replicated a broad profile of data on the semantic Attentional Blink (AB) task and characterized how ...
Li Su, Philip Barnard, Howard Bowman
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
13 years 9 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
CSSE
2008
IEEE
13 years 11 months ago
Application of New Adaptive Higher Order Neural Networks in Data Mining
This paper introduces an adaptive Higher Order Neural Network (HONN) model and applies it in data mining such as simulating and forecasting government taxation revenues. The propo...
Shuxiang Xu, Ling Chen
JCDL
2004
ACM
170views Education» more  JCDL 2004»
13 years 10 months ago
Looking for new, not known music only: music retrieval by melody style
With the growth of digital music, content-based music retrieval (CBMR) has attracted increasingly attention. For most CBMR systems, the task is to return music objects similar to ...
Fang-Fei Kuo, Man-Kwan Shan
FSTTCS
2007
Springer
13 years 11 months ago
Program Analysis Using Weighted Pushdown Systems
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
Thomas W. Reps, Akash Lal, Nicholas Kidd