3457 search results - page 316 / 692 » A Symbol Is Not a Symbol |
171
click to vote
VTC
2006
IEEE
16 years 21 days ago
2006
IEEE
– In this paper, a partial sphere decoding approach is proposed to reduce the computational complexity of implementing the iterative MAP receiver for spatial multiplexing system,...
185
click to vote
ASYNC
2005
IEEE
16 years 9 days ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
179
click to vote
SEFM
2005
IEEE
16 years 8 days ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
158
click to vote
AAMAS
2005
Springer
16 years 7 days ago
2005
Springer
The ability to determine a sequence of actions in order to reach a particular goal is of utmost importance to mobile robots. One major problem with symbolic planning approaches re...
174
click to vote
ATVA
2005
Springer
16 years 7 days ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...