4211 search results - page 553 / 843 » Types as Abstract Interpretations |
147
click to vote
CP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. A common type of symmetry is when both variables and values partition into interchangeable sets. Polynomial methods have been introduced to eliminate all symmetric soluti...
153
click to vote
CPAIOR
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. This work presents methods for processing a constraint satisfaction problem (CSP) formulated by an expression-based language, before the CSP is presented to a stochastic ...
157
click to vote
ECML
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Consider the online regression problem where the dependence of the outcome yt on the signal xt changes with time. Standard regression techniques, like Ridge Regression, d...
146
click to vote
ECOWS
2007
Springer
16 years 21 days ago
2007
Springer
BPEL has emerged as the industrial standard language for modelling behavioral aspects of web services. To support business partners in dynamically and flexibly binding their serv...
178
click to vote
EEMMAS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Collaborative Ubiquitous Environments (CUEs) are environments supporting collaboration among persons in a ubiquitous computing setting. This paper shows how results of th...