940 search results - page 72 / 188 » Rules and Strategies in Java |
122
click to vote
IS
2006
15 years 19 days ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
108
click to vote
WCRE
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract—During software development, design rules and contracts in the source code are often encoded through regularities, such as API usage protocols, coding idioms and naming ...
87
Voted
JELIA
2004
Springer
15 years 6 months ago
2004
Springer
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...
125
Voted
ML
1998
ACM
15 years 9 days ago
1998
ACM
Abstract. Coordination is an essential technique in cooperative, distributed multiagent systems. However, sophisticated coordination strategies are not always cost-effective in all...
109
Voted
TIT
2002
15 years 9 days ago
2002
Prediction of individual sequences is investigated for cases in which the decision maker observes a delayed version of the sequence, or is forced to issue his/her predictions a nu...