1805 search results - page 289 / 361 » A Theory of Closure Operators |
186
click to vote
ICWS
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
136
click to vote
IJIT
2004
15 years 5 months ago
2004
The development of control system for the dynamic processes characterizing uncertainties needs the creating of the proper knowledge base for the controller. In this paper, to solve...
139
click to vote
INTERACT
2003
15 years 5 months ago
2003
: Interacting with video content can be very time-consuming, and solutions are needed to support people in the process of browsing a video so that they can efficiently interact wit...
121
click to vote
ECIS
2000
15 years 5 months ago
2000
The adoption of ECR has been slow in many regions, despite its many potential benefits to manufacturers, distributors and retailers within a supply chain through reduction of inven...
119
click to vote
IJCAI
1997
15 years 5 months ago
1997
Several qualitative notions of epistemic dependence between propositions are studied. They are closely related to the ordinal notion of conditional possibility. What this paper pr...