3909 search results - page 537 / 782 » Extreme Model Checking |
150
click to vote
IVC
2010
15 years 4 months ago
2010
We present an algorithm for the layered segmentation of video data in multiple views. The approach is based on computing the parameters of a layered representation of the scene in...
143
click to vote
BMVC
2010
15 years 4 months ago
2010
We introduce a stability analysis model for multi-candidate regional and national voting schemes (aka Electoral College and Direct Popular Vote, respectively), which can be expres...
186
click to vote
ICANN
2009
Springer
15 years 4 months ago
2009
Springer
Mapping brain activity patterns in external actions has been studied in recent decades and is the base of a brain-computer interface. This type of interface is extremely useful for...
185
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
Most existing binaural approaches to speech segregation rely on spatial filtering. In environments with minimal reverberation and when sources are well separated in space, spatial...
162
click to vote
JISE
2010
15 years 1 months ago
2010
In dealing with large datasets the reduced support vector machine (RSVM) was proposed for the practical objective to overcome the computational difficulties as well as to reduce t...