6829 search results - page 329 / 1366 » Quantitative Generalizations of Languages |
163
click to vote
IJCAI
1993
15 years 8 months ago
1993
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en gineering. The design is based on the la...
175
click to vote
EMNLP
2010
15 years 4 months ago
2010
We describe a new approach to SMT adaptation that weights out-of-domain phrase pairs according to their relevance to the target domain, determined by both how similar to it they a...
172
click to vote
ENTCS
2006
15 years 6 months ago
2006
The LR parser generators that are bundled with many functional programming language implementations produce code that is untyped, needlessly inefficient, or both. We show that, us...
173
click to vote
ECOOP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The term “software evolution” is generally used as an analogy for biological evolution. This paper explores that analogy in more depth, analyzing software evolution f...
160
click to vote
DISCEX
2003
IEEE
16 years 16 hour ago
2003
IEEE
The RT Role-based Trust-management framework provides policy language, semantics, deduction engine, and pragmatic features such as application domain specification documents that...