462 search results - page 84 / 93 » Symbolic Bounded Synthesis |
107
click to vote
IJPRAI
2006
15 years 1 months ago
2006
Some symbolic AI models for example BDI (belief, desire, intention) models are conceived as explicit and operational models of the intentional pursuit and belief dynamics. The mai...
102
Voted
CORR
2007
Springer
15 years 1 months ago
2007
Springer
Inspired by the context of compressing encrypted sources, this paper considers the general tradeoff between rate, end-to-end delay, and probability of error for lossless source co...
JSYML
2008
15 years 1 months ago
2008
. We give a novel application of algebraic logic to first order logic. A new, flexible construction is presented for representable but not completely representable atomic relation ...
TCOM
2008
15 years 1 months ago
2008
To improve performance of orthogonal frequency division multiplexing (OFDM) for fading channels, this paper proposes increasing frequency and time diversity using linear dispersion...
125
Voted
AAMAS
2004
Springer
15 years 1 months ago
2004
Springer
The development of the World Wide Web has changed the way we think about information. Information on the web is distributed, updates are made asynchronously and resources come onli...