2722 search results - page 374 / 545 » Automating Language Evolution |
153
Voted
LOPSTR
1992
Springer
15 years 7 months ago
1992
Springer
We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial eval...
118
click to vote
AIME
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Medical reports are predominantly written in natural language; as such they are not computer-accessible. A common way to make medical narrative accessible to automated sy...
134
click to vote
CAV
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
124
click to vote
DEBS
2010
ACM
15 years 7 months ago
2010
ACM
Today’s organisations require techniques for automated transformation of the large data volumes they collect during their operations into operational knowledge. This requirement...
143
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...