Sciweavers

3251 search results - page 510 / 651
» On a vector q-d algorithm
Sort
View
CGF
2010
117views more  CGF 2010»
13 years 10 months ago
SafeGI: Type Checking to Improve Correctness in Rendering System Implementation
Historically, rendering system development has been mainly focused on improving the numerical accuracy of the rendering algorithms and their runtime efficiency. In this paper, we ...
Jiawei Ou, Fabio Pellacini
COMBINATORICA
2008
89views more  COMBINATORICA 2008»
13 years 10 months ago
The stable set polytope of quasi-line graphs
It is a long standing open problem to find an explicit description of the stable set polytope of clawfree graphs. Yet more than 20 years after the discovery of a polynomial algori...
Friedrich Eisenbrand, Gianpaolo Oriolo, Gautier St...
CORR
2008
Springer
92views Education» more  CORR 2008»
13 years 10 months ago
Nonnegative Matrix Factorization via Rank-One Downdate
Nonnegative matrix factorization (NMF) was popularized as a tool for data mining by Lee and Seung in 1999. NMF attempts to approximate a matrix with nonnegative entries by a produ...
Michael Biggs, Ali Ghodsi, Stephen A. Vavasis
ENTCS
2008
132views more  ENTCS 2008»
13 years 10 months ago
Distributed Verification of Multi-threaded C++ Programs
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
Stefan Edelkamp, Shahid Jabbar, Damian Sulewski
COMCOM
2006
126views more  COMCOM 2006»
13 years 10 months ago
Distributed and energy-efficient target localization and tracking in wireless sensor networks
In this paper, we propose and evaluate a distributed, energy-efficient, light-weight framework for target localization and tracking in wireless sensor networks. Since radio commun...
Jeongkeun Lee, Kideok Cho, Seungjae Lee, Taekyoung...