2308 search results - page 47 / 462 » Representing Symbolic Reasoning |
130
click to vote
ENGL
2007
15 years 5 months ago
2007
Abstract— In this paper, a new method of representing twodimensional shapes using fuzzy-symbolic features and a similarity measure defined over fuzzy-symbolic features useful for...
131
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
157
click to vote
TWC
2008
15 years 5 months ago
2008
This letter considers multiple symbol differential detection for multiple-antenna systems over flat Ricean-fading channels when partial channel state information (CSI) is available...
192
click to vote
TACAS
2010
Springer
16 years 13 days ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...
132
click to vote
CLIMA
2004
15 years 6 months ago
2004
Abstract. Negotiation over resources and multi-agent planning are important issues in multi-agent systems research. It has been demonstrated [19] how symbolic negotiation and distr...