1738 search results - page 195 / 348 » Local Consistency and SAT-Solvers |
172
click to vote
SMA
2008
ACM
15 years 5 months ago
2008
ACM
We convert any quad manifold mesh into an at least C1 surface consisting of bi-cubic tensor-product splines with localized perturbations of degree bi-5 near non-4-valent vertices....
167
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we introduce a novel approach to bridge the gap between the landmark-based and the iconic-based voxel-wise registration methods. The registration problem is formulat...
187
click to vote
PVLDB
2010
15 years 4 months ago
2010
This is a demonstration of data coordination in a peer data management system through the employment of distributed triggers. The latter express in a declarative manner individual...
148
click to vote
SIAMCO
2010
15 years 4 months ago
2010
We consider a network consisting of n interconnected nonlinear subsystems. For each subsystem an ISS Lyapunov function is given that treats the other subsystems as independent inpu...
179
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We consider the problem of learning a user's ordinal preferences on a multiattribute domain, assuming that her preferences are lexicographic. We introduce a general ...