J. Guadalupe Ramos

Learn More
An offline approach to narrowing-driven partial evaluation (a partial evaluation scheme for first-order functional and functional logic programs) has recently been introduced. In this approach, program annotations (i.e., the expressions that should be generalized at partial evaluation time to ensure termination) are based on a simple syntactic(More)
An algorithm is presented for estimating the quantities needed by a space-time RAKE receiver for DS-CDMA to achieve maximum SINR for the desired user. The proposed algorithm, which is applicable in the case of either periodic or aperiodic spreading codes, asymptotically provides the exact time of arrival of each dominant multipath within a bit period, and(More)
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good results on small programs, it does not scale up well to realistic problems (e.g., interpreter specialization). In this work, we introduce a faster partial evaluation scheme by ensuring(More)
Previously (Ramos and Zoltowski, 1997), we proposed a space-time adaptive RAKE receiver for CDMA that asymptotically provides the optimum combination of space-time samples for maximizing the SINR for the signal with the desired code (SDC) by canceling strong multi-user access interference (MUAI) and optimally combining the multipath. A variation of this 2D(More)
The lowercase semantic web consists of web pages enriched with semantic special tags which are called microformats, and it is considered a pragmatic path to the Semantic Web. In this work, we present a practical approach for modeling (microformat based) semantic relations between web pages by means of classical graph like data structures, such as semantic(More)
We introduce a transformational approach to improve the first stage of offline partial evaluation of functional programs, the so called binding-time analysis (BTA). For this purpose, we first introduce an improved defunctionalization algorithm that transforms higher-order functions into first-order ones, so that existing techniques for termination analysis(More)
The World Wide Web is the main source of information for many organizations and common users. However, the analysis and selection of the web content is still an arduous manual task in many cases. When a web query is sent towards a web search engine, a list of URLs is received, frequently ordered by popularity (such as Google's PageRank algorithm). Then, the(More)