541 search results - page 63 / 109 » Applications of nonstandard analysis in additive number theo... |
CDC
2008
IEEE
13 years 9 months ago
2008
IEEE
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...
CGF
2008
13 years 8 months ago
2008
The visibility function in direct illumination describes the binary visibility over a light source, e.g., an environment map. Intuitively, the visibility is often strongly correla...
SENSYS
2010
ACM
13 years 6 months ago
2010
ACM
This paper considers the problem of estimating the power breakdowns for the main appliances inside a building using a small number of power meters and the knowledge of the ON/OFF ...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
We present a framework for automatically summarizing social group activity over time. The problem is important in understanding large scale online social networks, which have dive...