79 search results - page 1 / 16 » Searching for extensible Korobov rules |
72
Voted
JC
2007
15 years 28 days ago
2007
Extensible lattice sequences have been proposed and studied in [5–7]. For the special case of extensible Korobov sequences, parameters can be found in [6]. The searches made to ...
93
Voted
COMPUTING
2007
15 years 1 months ago
2007
In this paper we introduce construction algorithms for Korobov rules for numerical integration which work well for a given set of dimensions simultaneously. The existence of such ...
105
Voted
TIME
2005
IEEE
15 years 6 months ago
2005
IEEE
A clausal resolution approach originally developed for the branching logic CTL has recently been extended to the logics ECTL and ECTL+ . In the application of the resolution rules...
106
Voted
CIKM
1999
Springer
15 years 5 months ago
1999
Springer
We present the architecture and a performance assessment of an extensible query optimizer written in Venus. Venus is a general-purpose active-database rule language embedded in C+...
132
Voted
CP
2011
Springer
14 years 26 days ago
2011
Springer
A depth-first search algorithm can be used to find optimal solutions of a Constraint Satisfaction Problem (CSP) with respect to a set of conditional preferences statements (e.g.,...