2944 search results - page 121 / 589 » On Well Quasi-orders on Languages |
94
Voted
IAT
2003
IEEE
15 years 6 months ago
2003
IEEE
Based on our previous work on the formal specification language SLABS as well as a methodology and modelling language for modelling and specifying multi-agent systems, we further ...
SAC
2003
ACM
15 years 6 months ago
2003
ACM
As the use of XML is rapidly growing, a growing number of users without programming skills will need to query XML data. Although designed to be easily understood by humans, XQuery...
109
click to vote
FM
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
82
Voted
COMPSAC
2002
IEEE
15 years 5 months ago
2002
IEEE
:The eXtensible Markup Language – XML – is not only a language for communication between humans and the web, it is also a language for communication between programs. Rather th...
87
Voted
SIGIR
2010
ACM
15 years 4 months ago
2010
ACM
In this paper, we present a novel approach to Pseudo-Relevance Feedback (PRF) called Multilingual PRF (MultiPRF). The key idea is to harness multilinguality. Given a query in a la...