50 search results - page 8 / 10 » Rewrite-Based Satisfiability Procedures for Recursive Data S... |
KDD
2010
ACM
15 years 1 months ago
2010
ACM
In multi-label learning, each training example is associated with a set of labels and the task is to predict the proper label set for the unseen example. Due to the tremendous (ex...
ACCV
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents a new algorithm for low-level multiscale segmentation of images. The algorithm is designed to detect image regions regardless of their shapes, sizes, ...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
Robert Thomas has shown, using simulations of experimental results, that the power flow on any line in an electric network is linearly proportional to the total system load when t...
155
click to vote
POPL
2004
ACM
15 years 9 months ago
2004
ACM
We prove the decidability of the quantifier-free, static fragment of ambient logic, with composition adjunct and iteration, which corresponds to a kind of regular expression langu...
138
click to vote
EDBT
2008
ACM
15 years 9 months ago
2008
ACM
Data exchange is the problem of transforming data structured under a schema (called source) into data structured under a different schema (called target). The emphasis of data exc...