2610 search results - page 342 / 522 » The Recognition Strategy Language |
175
click to vote
ECOWS
2007
Springer
16 years 19 days ago
2007
Springer
Service orientation is the de-facto architectural style, today. But, what actually is a service and how should service boundaries be chosen? Resource orientation, once seen as a ...
172
click to vote
ICALP
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We define and study two versions of the bipartite matching problem in the framework of two-stage stochastic optimization with recourse. In one version the uncertainty is...
171
click to vote
LOPSTR
2007
Springer
16 years 18 days ago
2007
Springer
We propose an extension of Constraint Handling Rules (CHR) with aggregates such as sum, count, findall, and min. This new feature significantly improves the conciseness and expres...
149
click to vote
CP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Constraint satisfaction problems provide strong formalism for modeling variety of real life problems. This paper presents a work currently in progress of which the goal i...
171
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...