Sciweavers

275 search results - page 32 / 55
» Structural Information Analysis for CLP Languages
Sort
View
138
Voted
CLEF
2005
Springer
15 years 9 months ago
A Logic Programming Based Approach to QA@CLEF05 Track
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...
Paulo Quaresma, Irene Pimenta Rodrigues
115
Voted
SIGDOC
2003
ACM
15 years 9 months ago
Using AI techniques to aid hypermedia design
Artificial intelligence techniques have found a number of applications in hypermedia, mostly in two specific areas, user interface, particularly adaptive ones and information sear...
Elena I. Gaura, Robert M. Newman
130
Voted
DAC
2009
ACM
16 years 4 months ago
Context-sensitive timing analysis of Esterel programs
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
Lei Ju, Bach Khoa Huynh, Samarjit Chakraborty, Abh...
133
Voted
APLAS
2005
ACM
15 years 9 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
118
Voted
ICDAR
2003
IEEE
15 years 9 months ago
Mathematical Formulas Extraction
As a universal technical language, mathematics has been widely applied in many fields, and it is more accurate than any other languages in describing information. Therefore, numer...
Jianming Jin, Xionghu Han, Qingren Wang