2290 search results - page 363 / 458 » Extensible Protected Types |
118
click to vote
GECCO
2000
Springer
15 years 6 months ago
2000
Springer
This paper gives a theoretical and empirical analysis of the time complexity of genetic algorithms (GAs) on problems with exponentially scaled building blocks. It is important to ...
139
click to vote
TABLEAUX
2000
Springer
15 years 6 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 ...
153
click to vote
CONCUR
1991
Springer
15 years 5 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...
111
click to vote
EDBTW
2010
Springer
15 years 5 months ago
2010
Springer
The vision of dataspaces has been articulated as providing various of the benefits of classical data integration but with reduced up-front costs, which, combined with opportunitie...
121
click to vote
AAAI
2007
15 years 4 months ago
2007
The use of ontologies in various application domains, such as Data Integration, the Semantic Web, or ontology-based data management, where ontologies provide the access to large a...