7452 search results - page 197 / 1491 » A Semantics for Multiprocessor Systems |
129
click to vote
IJSWIS
2007
15 years 4 months ago
2007
We describe our research on automatically generating rich semantic annotations of text and making it available on the Semantic Web. In particular, we discuss the challenges involv...
200
click to vote
JTAER
2010
14 years 11 months ago
2010
With the emergence of the e-Catalog, there has been an increasingly wide application of commodities query in distributed environment in the field of e-commerce. But e-Catalog is o...
103
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
This paper describes the design, implementation, and testing of a system for selecting necessary axioms from a large set also containing superfluous axioms, to obtain a proof of a...
146
click to vote
JODS
2006
15 years 4 months ago
2006
Knowledge representation languages that combine rules with object-oriented features akin to frame systems have recently attracted a lot of research interest, and F-logic is widely ...
186
click to vote
EUSFLAT
2009
15 years 2 months ago
2009
In this paper we present the operational semantics of RFuzzy, a fuzzy Logic Programming framework that represents thruth values using real numbers from the unit interval. RFuzzy pr...