12950 search results - page 2313 / 2590 » On Optimal Timed Strategies |
192
click to vote
ICTAC
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
178
click to vote
LCPC
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Many parallel programs are written in a single-program, multipledata (SPMD) style, in which synchronization is provided using collective operations that all threads execu...
212
click to vote
SARA
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. This article presents two new algorithms whose purpose is to maintain the Max-RPC domain filtering consistency during search with a minimal memory footprint and implemen...
209
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
We present a framework that enables a belief-desire-intention (BDI) agent to dynamically choose its intention reconsideration policy in order to perform optimally in accordance wi...
192
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
Current GPUs perform a significant amount of redundant shading when surfaces are tessellated into small triangles. We address this inefficiency by augmenting the GPU pipeline to...