264 search results - page 32 / 53 » Tools for syntactic concordancing |
125
click to vote
IWPC
2010
IEEE
14 years 8 months ago
2010
IEEE
—A tool supporting the automatic identification of programming idioms specific to the construction of C++ generic libraries is presented. The goal is to assist developers in unde...
HCSE
2010
14 years 7 months ago
2010
The pitch-based input (humming, whistling, singing) in acoustic modality has already been studied in several projects. There is also a formal description of the pitch-based input w...
119
click to vote
SOCIALCOM
2010
14 years 7 months ago
2010
Theme network is a semantic network of document specific themes. So far Natural Language Processing (NLP) research patronized much of topic based summarizer system, unable to captu...
142
click to vote
POPL
2011
ACM
14 years 15 days ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
101
click to vote
SIGMOD
2012
ACM
13 years 3 days ago
2012
ACM
Linked Data (LD) provides principles for publishing data that underpin the development of an emerging web of data. LD follows the web in providing low barriers to entry: publisher...