2181 search results - page 197 / 437 » The restriction scaffold problem |
131
click to vote
CADE
1994
Springer
15 years 8 months ago
1994
Springer
Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic acc...
183
click to vote
CAISE
2007
Springer
15 years 8 months ago
2007
Springer
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
163
click to vote
COLT
2007
Springer
15 years 8 months ago
2007
Springer
We study generalized bootstrapped confidence regions for the mean of a random vector whose coordinates have an unknown dependence structure, with a non-asymptotic control of the co...
126
click to vote
COSIT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper addresses the problem of merging qualitative constraint networks (QCNs) defined on different qualitative formalisms. Our model is restricted to formalisms wher...
121
click to vote
DEXAW
2009
IEEE
15 years 8 months ago
2009
IEEE
A huge amount of schemas are expressed within outdated schema languages which are restricted concerning expressiveness, extensibility, readability, and understandability. Consequen...