2741 search results - page 379 / 549 » Engineering Mathematical Knowledge |
110
Voted
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
103
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we present a solution for “weaving the claim web”, i.e. the creation of knowledge networks via so-called claims stated in scientific publications created with th...
150
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
As the Semantic Web (SW) is being automatically populated with large number of RDF triples scalability issues related to wide scale reasoning occur. We believe these difficulties ...
123
click to vote
ICDE
2006
IEEE
15 years 10 months ago
2006
IEEE
Most traditional Information Retrieval (IR) systems, including web search engines, operationalize “relevant” as the word frequency in a document of a set of keywords. Because ...
116
Voted
ISORC
2006
IEEE
15 years 10 months ago
2006
IEEE
The increasing complexity of mobile phones directly affects their reliability, while the user tolerance for failures becomes to decrease, especially when the phone is used for bus...