3333 search results - page 559 / 667 » Abstract Proof Search |
130
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper deals with the problem of solving efficiently structured CSPs. It is well known that (hyper)tree-decompositions offer the best approaches from a theoretical v...
123
click to vote
DAGM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Model-based image interpretation extracts high-level information from images using a priori knowledge about the object of interest. The computational challenge is to dete...
124
click to vote
DEXA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Semantic matching of schemas in heterogeneous data sharing systems is time consuming and error prone. Existing mapping tools employ semi-automatic techniques for mapping ...
114
click to vote
EPIA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents the development of a bivalve farmer agent interacting with a realistic ecological simulation system. The purpose of the farmer agent is to determine t...
142
click to vote
EUROPKI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Anonymous secret sharing schemes allow a secret to be recovered from shares regardless of the identity of shareholders. Besides being interesting in its own right, this p...