3713 search results - page 191 / 743 » Constructing a Calculus of Programs |
137
Voted
DBPL
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
151
Voted
TABLEAUX
2000
Springer
15 years 7 months ago
2000
Springer
mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for ...
145
Voted
SEBD
1997
15 years 4 months ago
1997
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
177
Voted
TOCL
2012
13 years 6 months ago
2012
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...
120
Voted
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
A well-designed fitness function is essential to the effectiveness and efficiency of evolutionary testing. Fitness function design has been researched extensively. For fitness ...