Sciweavers

1941 search results - page 335 / 389
» The representation of planning strategies
Sort
View
APN
1999
Springer
14 years 2 months ago
Structural Methods to Improve the Symbolic Analysis of Petri Nets
Abstract. Symbolic techniques based on BDDs (Binary Decision Diagrams) have emerged as an e cient strategy for the analysis of Petri nets. The existing techniques for the symbolic ...
Enric Pastor, Jordi Cortadella, Marco A. Peñ...
MM
1996
ACM
168views Multimedia» more  MM 1996»
14 years 2 months ago
Do Story Agents Use Rocking Chairs? The Theory and Implementation of One Model for Computational Narrative
Narrative structure models are useful tools for understanding how and why narratives of any medium affect an audience's level of participation in their role of story reconstr...
Kevin M. Brooks
ICSE
1993
IEEE-ACM
14 years 2 months ago
Expressing the Relationships Between Multiple Views in Requirements Specification
Composite systems generally comprise heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are invariably ...
Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein
ADC
2007
Springer
183views Database» more  ADC 2007»
14 years 2 months ago
Efficient Similarity Search by Summarization in Large Video Database
With the explosion of video data, video processing technologies have advanced quickly and been applied into many fields, such as advertisements, medical etc.. To fast search these...
Xiangmin Zhou, Xiaofang Zhou, Heng Tao Shen
ICCBR
2010
Springer
14 years 2 months ago
Similarity-Based Retrieval and Solution Re-use Policies in the Game of Texas Hold'em
In previous papers we have presented our autonomous poker playing agent (SARTRE) that uses a memory-based approach to create a betting strategy for two-player, limit Texas Hold’e...
Jonathan Rubin, Ian Watson