569 search results - page 66 / 114 » An Empirical Study of Structural Constraint Solving Techniqu... |
167
click to vote
HT
1998
ACM
15 years 10 months ago
1998
ACM
In this paper, we introduce an integrated approach to the development of spatial hypertext. This approach brings together several theories and techniques concerning semantic struc...
177
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Index tuning, i.e., selecting the indexes appropriate for a workload, is a crucial problem in database system tuning. In this paper, we solve index tuning for large problem instan...
152
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
When producing a mosaic of multiple multi-spectral images one needs to harmonize the colours so that the tone transition is smooth from one image to the other. Given two images Im...
283
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
We consider a special type of multi-label learning where class assignments of training examples are incomplete. As an example, an instance whose true class assignment is (c1, c2, ...
155
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...