9405 search results - page 117 / 1881 » Computing a Model of Set Theory |
111
click to vote
SAMOS
2010
Springer
14 years 8 months ago
2010
Springer
—Instruction set simulators (ISS) are vital tools for compiler and processor architecture design space exploration and verification. State-of-the-art simulators using just-in-ti...
TFS
2008
14 years 10 months ago
2008
Many real problems dealing with qualitative aspects use linguistic approaches to assess such aspects. In most of these problems, a uniform and symmetrical distribution of the lingu...
115
click to vote
JAIR
2012
13 years 13 days ago
2012
To achieve scalability of query answering, the developers of Semantic Web applications are often forced to use incomplete OWL 2 reasoners, which fail to derive all answers for at ...
TIME
2000
IEEE
15 years 2 months ago
2000
IEEE
We present a data model for movies and movie databases. A movie is considered to be a 2-dimensional semialgebraic figure that can change in time. We give a number of computabilit...
BIRTHDAY
2000
Springer
15 years 2 months ago
2000
Springer
A number of prioritized variants of Reiter’s default logic have been described in the literature. In this paper, we introduce two natural principles for preference handling and s...