Sciweavers

5900 search results - page 367 / 1180
» Dependable Systems
Sort
View
NIPS
2001
15 years 8 months ago
Correlation Codes in Neuronal Populations
Population codes often rely on the tuning of the mean responses to the stimulus parameters. However, this information can be greatly suppressed by long range correlations. Here we...
Maoz Shamir, Haim Sompolinsky
ICPR
2000
IEEE
16 years 7 months ago
Large Vocabulary Audio-Visual Speech Recognition Using Active Shape Models
Orthogonal information present in the video signal associated with the audio helps in improving the accuracy of a speech recognition system. Audio-visual speech recognition involv...
Tanveer A. Faruquie, Abhik Majumdar, Nitendra Rajp...
HICSS
2010
IEEE
161views Biometrics» more  HICSS 2010»
16 years 1 months ago
Analysis of Marginal Carbon Intensities in Constrained Power Networks
Jurisdictions across the globe are implementing CO2 emissions reduction policies. These policies typically ignore most locational issues, probably because the consequences of gree...
Pablo A. Ruiz, Aleksandr Rudkevich
150
Voted
IAT
2009
IEEE
16 years 1 months ago
Creating Incentives to Prevent Intentional Execution Failures
—When information or control in a multiagent system is private to the agents, they may misreport this information or refuse to execute an agreed outcome, in order to change the r...
Yingqian Zhang, Mathijs de Weerdt
TPHOL
2003
IEEE
15 years 12 months ago
A Coverage Checking Algorithm for LF
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...
Carsten Schürmann, Frank Pfenning