1941 search results - page 274 / 389 » The representation of planning strategies |
160
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
169
click to vote
CCGRID
2010
IEEE
15 years 6 months ago
2010
IEEE
—Despite extensive research focused on enabling QoS for grid users through economic and intelligent resource provisioning, no consensus has emerged on the most promising strategi...
156
click to vote
ANOR
2007
15 years 6 months ago
2007
We consider the problem of optimal position liquidation with the aim of maximizing the expected cash flow stream from the transaction in the presence of temporary or permanent ma...
167
click to vote
CGF
2008
15 years 6 months ago
2008
Algebraic Point Set Surfaces (APSS) define a smooth surface from a set of points using local moving least-squares (MLS) fitting of algebraic spheres. In this paper we first revisi...
141
click to vote
JUCS
2010
15 years 4 months ago
2010
: The Gabor filter aided diagnosis system for 3-dimensional ultra-sonography (3DUS) under the WLAN environment is introduced. Due to the important relationship between breast tumou...