918 search results - page 107 / 184 » Speculative Issue Logic |
158
click to vote
WEBI
2009
Springer
16 years 24 days ago
2009
Springer
Abstract—Measuring Inconsistency in ontologies is an important topic in ontology engineering as it can provide extra information for dealing with inconsistency. Many approaches h...
163
click to vote
CIKM
2009
Springer
16 years 23 days ago
2009
Springer
Many content-oriented applications require a scalable text index. Building such an index is challenging. In addition to the logic of inserting and searching documents, developers ...
166
click to vote
TLCA
2009
Springer
16 years 22 days ago
2009
Springer
The straightforward elimination of union types is known to break subject reduction, and for some extensions of the lambda-calculus, to break strong normalization as well. Similarly...
147
click to vote
ICTAI
2008
IEEE
16 years 18 days ago
2008
IEEE
These last years, the issue of locating and explaining contradictions inside sets of propositional clauses has received a renewed attention due to the emergence of very efficient...
168
click to vote
RTSS
2008
IEEE
16 years 17 days ago
2008
IEEE
Multicore platforms are predicted to become significantly larger in the coming years. Given that real-time workloads will inevitably be deployed on such platforms, the scalabilit...