Sciweavers

3653 search results - page 311 / 731
» Learning of Partial Languages
Sort
View
ICFP
2000
ACM
15 years 10 months ago
Syntactic accidents in program analysis: on the impact of the CPS transformation
We show that a non-duplicating transformation into Continuation-Passing Style (CPS) has no effect on control-flow analysis, a positive effect on binding-time analysis for tradi...
Daniel Damian, Olivier Danvy
IFIP
1992
Springer
15 years 10 months ago
Intelligent Access to Data and Knowledge Bases via User's Topics of Interest
Retrieving relevant information in Data and Knowledge Bases containing a large number of di erent types of information is a non trivial problem. That is the reason why, in areas l...
Sylvie Cazalens, Robert Demolombe
LISP
2008
105views more  LISP 2008»
15 years 6 months ago
Proving operational termination of membership equational programs
Abstract Reasoning about the termination of equational programs in sophisticated equational languages such as ELAN, MAUDE, OBJ, CAFEOBJ, HASKELL, and so on, requires support for ad...
Francisco Durán, Salvador Lucas, Claude Mar...
LREC
2008
170views Education» more  LREC 2008»
15 years 7 months ago
A Semantic Memory for Incremental Ontology Population
Generally, ontology learning and population is applied as a semi-automatic approach to knowledge acquisition in natural language understanding systems. That means, after the ontol...
Berenike Loos, Lasse Schwarten
IJWBC
2007
92views more  IJWBC 2007»
15 years 6 months ago
Construction of international communities in Portuguese
We present a proposal for research, development and construction of international communities in Portuguese, using digital platforms. The idea was born following an international ...
J. C. Paiva, Alfredo Matta