2722 search results - page 487 / 545 » Automating Language Evolution |
123
click to vote
HVC
2005
Springer
15 years 8 months ago
2005
Springer
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...
135
click to vote
ICCBR
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we consider the competition on the Internet between information providers to maximise their exposure to a relevant audience. Spammers and Search engine gamers adopt a...
134
click to vote
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...
140
click to vote
KIVS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Semantic Web services envision the automated discovery and selection of Web services. This can be realised by adding semantic information to advertised services and servi...
135
click to vote
LPNMR
2005
Springer
15 years 8 months ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...