3515 search results - page 490 / 703 » On the semantics of Strategy Logic |
338
click to vote
AAAI
2012
13 years 9 months ago
2012
Goal-driven autonomy (GDA) is a conceptual model for creating an autonomous agent that monitors a set of expectations during plan execution, detects when discrepancies occur, buil...
203
Voted
ICIAP
2005
ACM
16 years 7 months ago
2005
ACM
An innovative algorithm for automatic generation of Huffman coding tables for semantic classes of digital images is presented. Collecting statistics over a large dataset of corresp...
183
click to vote
MMM
2005
Springer
16 years 1 months ago
2005
Springer
An overview of generative sound models is presented. We discuss the benefits they offer in a variety of media contexts including indexing and retrieval, compression, sonification,...
203
Voted
FOSSACS
2005
Springer
16 years 29 days ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
195
Voted
HT
2004
ACM
16 years 26 days ago
2004
ACM
Adding and removing links carries great rhetorical weight. Modern hypertext tools often treat links as metadata and use metadata to provide navigational access. To view links or m...