620 search results - page 85 / 124 » Abstract Analysis of Symbolic Executions |
128
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
94
Voted
ALGORITHMICA
2005
15 years 15 days ago
2005
Abstract. We consider random tries and random patricia trees constructed from n independent strings of symbols drawn from any distribution on any discrete space. We show that many ...
101
click to vote
TCOM
2008
15 years 15 days ago
2008
Abstract--In this paper, performance of the Alamouti spacetime code (STC) [1] and performance of the concatenation between the convolutional code and the Alamouti STC are derived. ...
102
Voted
TWC
2008
15 years 14 days ago
2008
Abstract-- We present a unified detection framework for spatial multiplexing multiple-input multiple-output (MIMO) systems by generalizing Heller's classical feedback decoding...
117
Voted
IS
1998
15 years 8 days ago
1998
Information modeling is concerned with the construction of computer-based symbol structures which capture the meaning of information and organize it in ways that make it understan...