9370 search results - page 220 / 1874 » An Abstract Notion of Application |
183
click to vote
ISORC
2005
IEEE
16 years 6 days ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
146
click to vote
ACG
2003
Springer
15 years 12 months ago
2003
Springer
Abstract Opponent-Model search is a game-tree search method that explicitly uses knowledge of the opponent. There is some risk involved in using Opponent-Model search. Both the pre...
145
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— We extend techniques for a reachability-based ion to continuous systems under shared control, that is, systems which have both inputs controlled by the automation and inputs co...
148
click to vote
CG
2000
Springer
15 years 11 months ago
2000
Springer
This paper proposes a new method for searching two-valued (binary) game trees in games like chess or Go. Lambda-search uses null-moves together with different orders of threat-sequ...
170
click to vote
AAAI
1998
15 years 8 months ago
1998
Manyimportant physical phenomena,such as temperature distribution, air flow, and acoustic waves,are describedas continuous,distributed parameterfields. Analyzingandcontrolling the...