1021 search results - page 66 / 205 » Concepts in Proof Planning |
182
click to vote
EVOW
2011
Springer
14 years 9 months ago
2011
Springer
The Strategy Game Description Game Language (SGDL) is intended to become a complete description of all aspects of strategy games, including rules, parameters, scenarios, maps, and ...
146
click to vote
KR
1992
Springer
15 years 10 months ago
1992
Springer
In this paper, we view planning as a special case of reasoning about indefinite actions. We treat actions as predicates defined over a linear temporal order. This formalism permit...
163
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Software construction has typically drawn on engineering metaphors like building bridges or cathedrals, which emphasize architecture, specification, central planning, and determin...
130
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Service descriptions allow designers to document, understand, and use services, creating new useful and complex services with aggregated business value. Unlike RPC-based services,...
165
click to vote
GLOBECOM
2008
IEEE
16 years 23 days ago
2008
IEEE
—In this paper, we manage to prove the log-concavity of the generalized Marcum Q-function Qν (a, b) with respect to its order ν on [1, ∞). The proof relies on a powerful math...