Sciweavers

1517 search results - page 243 / 304
» New Approach To A Class Of Matrices
Sort
View
HPDC
2010
IEEE
15 years 1 months ago
Toward high performance computing in unconventional computing environments
Parallel computing on volatile distributed resources requires schedulers that consider job and resource characteristics. We study unconventional computing environments containing ...
Brent Rood, Nathan Gnanasambandam, Michael J. Lewi...
107
Voted
ICASSP
2010
IEEE
15 years 1 months ago
Classifying laughter and speech using audio-visual feature prediction
In this study, a system that discriminates laughter from speech by modelling the relationship between audio and visual features is presented. The underlying assumption is that thi...
Stavros Petridis, Ali Asghar, Maja Pantic
ACTA
2007
92views more  ACTA 2007»
15 years 1 months ago
Solving #SAT using vertex covers
Abstract We propose an exact algorithm for counting the models of propositional formulas in conjunctive normal form (CNF). Our algorithm is based on the detection of strong backdoo...
Naomi Nishimura, Prabhakar Ragde, Stefan Szeider
AI
2010
Springer
15 years 1 months ago
Double preference relations for generalised belief change
Many belief change formalisms employ plausibility orderings over the set of possible worlds to determine how the beliefs of an agent ought to be modified after the receipt of a ne...
Richard Booth, Samir Chopra, Thomas Meyer, Aditya ...
CGF
2010
153views more  CGF 2010»
15 years 1 months ago
Scalable Multi-view Registration for Multi-Projector Displays on Vertically Extruded Surfaces
Recent work have shown that it is possible to register multiple projectors on non-planar surfaces using a single uncalibrated camera instead of a calibrated stereo pair when deali...
Behzad Sajadi, Aditi Majumder