7796 search results - page 298 / 1560 » On Generalized Schur Numbers |
146
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We describe a small, non-intrusive extension to the declarative modelling language Zinc that allows users to define model-specific search. This is achieved by providing a...
151
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
We present a polynomial-time algorithm which at the extra cost of a factor O(k) (k the number of variables) generalizes inter-procedural copy constant propagation. Our algorithm in...
147
click to vote
BCSHCI
2007
15 years 8 months ago
2007
Prescribing in intensive care is a complex process involving a number of disciplines working in a highly stressful clinical environment. Within the National Health Service this pr...
175
click to vote
CCCG
2008
15 years 8 months ago
2008
In this paper, we address the problem of deciding absolute irreducibility of multivariate polynomials. Our work has been motivated by a recent work due to Gao et. al. [1, 2, 3] wh...
174
click to vote
CSSW
2007
15 years 8 months ago
2007
Abstract: This paper discusses RDF related work in the context of OpenLink Virtuoso, a general purpose relational / federated database and applications platform. We discuss adaptin...