17018 search results - page 250 / 3404 » From the How to the What |
182
click to vote
CP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Constraint Programming is a proven successful technique, but it requires skill in modeling problems, and knowledge on how algorithms interact with models. What can be a g...
137
click to vote
UC
2005
Springer
16 years 4 days ago
2005
Springer
Consider a database most of whose entries are marked but the precise fraction of marked entries is not known. What is known is that the fraction of marked entries is 1 − , where ...
162
click to vote
AIMSA
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. The problem of finding an agreement on the meaning of heterogeneous schemas is one of the key issues in the development of the Semantic Web. In this paper, we propose a ...
166
click to vote
GC
2004
Springer
16 years 2 days ago
2004
Springer
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...
153
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...