1069 search results - page 115 / 214 » Automatic Generation of Language-based Tools |
EMNLP
2008
15 years 1 months ago
2008
Although research in other languages is increasing, much of the work in subjectivity analysis has been applied to English data, mainly due to the large body of electronic resource...
TAP
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
PVLDB
2008
14 years 11 months ago
2008
Reading and perceiving complex SQL queries has been a time consuming task in traditional database applications for decades. When it comes to decision support systems with automati...
124
Voted
CLEF
2011
Springer
13 years 11 months ago
2011
Springer
Wikipedia despite having a very small budget has been among the top ten most visited websites for over half a decade. Being this visible also generated the problem of ill intended ...
127
click to vote
TVLSI
2008
14 years 11 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...