Sciweavers

1532 search results - page 70 / 307
» The Symbol Grounding Problem
Sort
View
PLDI
2004
ACM
15 years 9 months ago
Symbolic pointer analysis revisited
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...
Jianwen Zhu, Silvian Calman
IASTEDSE
2004
15 years 5 months ago
A symbolic Java virtual machine for test case generation
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
Roger A. Müller, Christoph Lembeck, Herbert K...
TNN
1998
125views more  TNN 1998»
15 years 3 months ago
Symbolic connectionism in natural language disambiguation
Abstract—Natural language understanding involves the simultaneous consideration of a large number of different sources of information. Traditional methods employed in language an...
Samuel W. K. Chan, James Franklin
ICC
2009
IEEE
15 years 1 months ago
Joint Reduction of Peak to Average Power Ratio and Symbol Loss Rate in Multicarrier Systems
Peak to average power ratio (PAPR) and symbol loss rate (SLR) are two challenges of multicarrier based communications that have recently drawn much attention. High SLR renders the ...
Amin Alamdar Yazdi, Sameh Sorour, Shahrokh Valaee,...
ICSE
2008
IEEE-ACM
16 years 4 months ago
Symbolic mining of temporal specifications
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
Mark Gabel, Zhendong Su