7006 search results - page 912 / 1402 » Approximation Algorithms |
202
click to vote
VMCAI
2005
Springer
16 years 1 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
190
click to vote
COMPGEOM
2010
ACM
16 years 13 days ago
2010
ACM
We study the problem of computing the similarity between two piecewise-linear bivariate functions defined over a common domain, where the surfaces they define in 3D—polyhedral...
229
click to vote
WSDM
2012
ACM
14 years 3 months ago
2012
ACM
One of the key objectives of viral marketing is to identify a small set of users in a social network, who when convinced to adopt a product will influence others in the network l...
194
click to vote
RTCSA
2007
IEEE
16 years 1 months ago
2007
IEEE
An important property in a sensor network is the monitoring of temporal changes of hazardous situations such as forest fires. Rescue groups need to be aware of dynamic changes th...
212
click to vote
VCIP
2003
15 years 9 months ago
2003
In order to transmit or store three-dimensional (3-D) mesh models efficiently, we need to simplify them. Although the quadric error metric (QEM) provides fast and accurate geometr...