2586 search results - page 204 / 518 » Automatic Abstraction for Congruences |
184
click to vote
TAMODIA
2008
15 years 8 months ago
2008
Abstract. In this paper we present a demonstration of the Migrantes environment for supporting user interface migration through different devices, including mobile ones and digital...
148
click to vote
VISAPP
2008
15 years 8 months ago
2008
Abstract. This article describes an algorithm for pose or motion estimation based on clustering of parameters in the six-dimensional pose space. The parameter samples are computed ...
150
click to vote
EAI
2004
15 years 8 months ago
2004
Abstract: Web services are increasingly used to integrate heterogeneous and autonomous applications in cross-organizational cooperations. A key problem is to support a high executi...
169
click to vote
DBSEC
2006
15 years 8 months ago
2006
Abstract. A choreography specifies the interactions between the resources of multiple collaborating parties at design time. The runtime management of authorization policies in orde...
160
click to vote
ESANN
2004
15 years 8 months ago
2004
Abstract. Bayesian approaches to density estimation and clustering using mixture distributions allow the automatic determination of the number of components in the mixture. Previou...