1036 search results - page 91 / 208 » Natural Narrowing for General Term Rewriting Systems |
SIGSOFT
2007
ACM
14 years 11 months ago
2007
ACM
We improve on previous recommender systems by taking advantage of the layered structure of software. We use a random-walk approach, mimicking the more focused behavior of a develo...
SCP
2011
13 years 5 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
DAC
2005
ACM
14 years 11 months ago
2005
ACM
Previous research has shown both theoretically and practically that simulated annealing can greatly benefit from the incorporation of an adaptive range limiting window to control ...
WWW
2007
ACM
14 years 10 months ago
2007
ACM
In a new model for answer retrieval, document collections are distilled offline into large repositories of facts. Each fact constitutes a potential direct answer to questions seek...
SIGMOD
2009
ACM
14 years 10 months ago
2009
ACM
Current semi-structured keyword search and natural language query processing systems use ad hoc approaches to take advantage of structural information. Although intuitive, they ar...