12981 search results - page 2471 / 2597 » Model Checking and Abstraction |
128
click to vote
CADE
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. I...
134
click to vote
AINA
2010
IEEE
15 years 5 months ago
2010
IEEE
One of the major premises of P2P systems is to enable fully decentralized collaborative functionalities for supporting work teams and P2P communities. Within collaborative systems,...
104
click to vote
ISCA
1999
IEEE
15 years 5 months ago
1999
IEEE
Modern compilers must expose sufficient amounts of Instruction-Level Parallelism (ILP) to achieve the promised performance increases of superscalar and VLIW processors. One of the...
130
click to vote
KES
1999
Springer
15 years 5 months ago
1999
Springer
Abstract—Dynamic Demes is a new method for the parallelisation of evolutionary algorithms. It was derived as a combination of two other parallelisation algorithms: the master-sla...
129
click to vote
KIVS
1999
Springer
15 years 5 months ago
1999
Springer
Multimedia presentations are applicable in various domains such as advertising, commercial presentations or education. Multimedia presentations are described by multimedia documen...