1912 search results - page 294 / 383 » GOAL as a Planning Formalism |
160
click to vote
WOWMOM
2005
ACM
15 years 12 months ago
2005
ACM
To be able to utilize the generative potential of future networks for service composition, the attributes of services and networks must be appropriately formalized, stored and mad...
184
click to vote
CIKM
2005
Springer
15 years 12 months ago
2005
Springer
Modern query optimizers select an efficient join ordering for a physical execution plan based essentially on the average join selectivity factors among the referenced tables. In ...
154
click to vote
SAT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. During the recent years, the development of tools for deciding Quantified Boolean Formulas (QBFs) has been accompanied by a steady supply of real-world instances, i.e., ...
179
click to vote
SPATIALCOGNITION
2004
Springer
15 years 11 months ago
2004
Springer
Allen’s interval calculus is one of the most prominent formalisms in the domain of qualitative spatial and temporal reasoning. Applications of this calculus, however, are restric...
160
click to vote
ACSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...