981 search results - page 156 / 197 » Symbolic pointer analysis |
EACL
2003
ACL Anthology
13 years 10 months ago
2003
ACL Anthology
Syntactic constraints in Koskenniemi’s Finite-State Intersection Grammar (FSIG) are logically less complex than their formalism (Koskenniemi et al., 1992) would suggest: It turn...
IJCAI
1997
13 years 10 months ago
1997
Max and min operations have interesting properties that facilitate the exchange of information between the symbolic and real-valued domains. As such, neural networks that employ m...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
In interference alignment, users sharing a wireless channel are each able to achieve data rates of up to half of the non-interfering channel capacity, no matter the number of users...
IJDAR
2008
13 years 9 months ago
2008
Abstract This paper describes a document recognition system for the modern neume based notation of Byzantine music. We propose algorithms for page segmentation, lyrics removal, syn...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
— A class of rate-one space-time block codes (STBC) allowing the decoding of transmitted symbols into four groups is recently proposed by Yuen, Guan and Tjhung. This code is call...