3970 search results - page 610 / 794 » A Logic For Causal Reasoning |
170
click to vote
AIMSA
2008
Springer
16 years 27 days ago
2008
Springer
Abstract. State of the art formalisms for distributed ontology integration provide ways to express semantic relations between concepts belonging to different ontologies. However, t...
169
click to vote
DDECS
2007
IEEE
16 years 26 days ago
2007
IEEE
— This paper describes a new self-testing 1-bit full adder. This circuit consists of three polymorphic NAND/NOR gates, two XOR gates and two inverters. The adder is able to detec...
163
click to vote
FSKD
2007
Springer
16 years 21 days ago
2007
Springer
Web users are always distracted by a large number of results returned from search engines. Clustering can efficiently facilitate users’ browsing pages of certain topic. However...
176
click to vote
SEMWEB
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. The WSMO-MX matchmaker applies different matching filters to retrieve WSMO-oriented service descriptions that are semantically relevant to a given query with respect to...
168
click to vote
ETFA
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...