5084 search results - page 691 / 1017 » Proving Possibility Properties |
170
click to vote
WICSA
2008
15 years 8 months ago
2008
Service composition is one of the key objectives for adopting Service Oriented Architecture. Today, web services, however, are not always perfectly compatible and composition mism...
178
click to vote
AAAI
2006
15 years 8 months ago
2006
Partially observed actions are observations of action executions in which we are uncertain about the identity of objects, agents, or locations involved in the actions (e.g., we kn...
190
click to vote
AIIDE
2006
15 years 8 months ago
2006
Neuroevolution is a promising learning method in tasks with extremely large state and action spaces and hidden states. Recent advances allow neuroevolution to take place in real t...
179
click to vote
AIPS
2006
15 years 8 months ago
2006
In this paper, we propose a new approach, called lemma-reusing, for accelerating SAT based planning and scheduling. Generally, SAT based approaches generate a sequence of SAT prob...
181
click to vote
CSREAEEE
2006
15 years 8 months ago
2006
Recent research on distributed Internet based B2B e-commerce has focused on long running distributed transactions and the possibility that this characteristic may lead to extended...