Sciweavers

3353 search results - page 552 / 671
» Laver and set theory
Sort
View
ESEM
2010
ACM
14 years 10 months ago
Synthesizing evidence in software engineering research
Synthesizing the evidence from a set of studies that spans many countries and years, and that incorporates a wide variety of research methods and theoretical perspectives, is prob...
Daniela Cruzes, Tore Dybå
MM
2010
ACM
178views Multimedia» more  MM 2010»
14 years 10 months ago
Topical summarization of web videos by visual-text time-dependent alignment
Search engines are used to return a long list of hundreds or even thousands of videos in response to a query topic. Efficient navigation of videos becomes difficult and users ofte...
Song Tan, Hung-Khoon Tan, Chong-Wah Ngo
RECSYS
2010
ACM
14 years 10 months ago
Incremental collaborative filtering via evolutionary co-clustering
Collaborative filtering is a popular approach for building recommender systems. Current collaborative filtering algorithms are accurate but also computationally expensive, and so ...
Mohammad Khoshneshin, W. Nick Street
CDC
2008
IEEE
145views Control Systems» more  CDC 2008»
14 years 10 months ago
Necessary and sufficient conditions for success of the nuclear norm heuristic for rank minimization
Minimizing the rank of a matrix subject to constraints is a challenging problem that arises in many applications in control theory, machine learning, and discrete geometry. This c...
Benjamin Recht, Weiyu Xu, Babak Hassibi
ADCM
2010
129views more  ADCM 2010»
14 years 10 months ago
Construction of positive definite cubature formulae and approximation of functions via Voronoi tessellations
Let Rd be a compact convex set of positive measure. In a recent paper, we established a definiteness theory for cubature formulae of order two on . Here we study extremal propert...
Allal Guessab, Gerhard Schmeisser