6020 search results - page 236 / 1204 » A New Approach to Model Counting |
164
click to vote
CGF
1999
15 years 4 months ago
1999
Due to their simplicity and flexibility, polygonal meshes are about to become the standard representation for surface geometry in computer graphics applications. Some algorithms i...
169
click to vote
JMLR
2010
15 years 3 months ago
2010
We extend the well-known BFGS quasi-Newton method and its memory-limited variant LBFGS to the optimization of nonsmooth convex objectives. This is done in a rigorous fashion by ge...
125
Voted
ICIP
2010
IEEE
15 years 2 months ago
2010
IEEE
Visual compliance has emerged as a new paradigm to ensure that employees comply with processes and policies in a business context [1]. In this paper, we focus on videos from retai...
162
click to vote
EDBT
2009
ACM
15 years 2 months ago
2009
ACM
In this work, we focus on managing scientific environmental data, which are measurement readings collected from wireless sensors. In environmental science applications, raw sensor...
179
Voted
TDSC
2011
14 years 12 months ago
2011
—The pervasive diffusion of mobile communication devices and the technical improvements of location techniques are fostering the development of new applications that use the phys...