Sciweavers

23201 search results - page 146 / 4641
» Rewriting Systems with Data
Sort
View
LRE
2006
175views more  LRE 2006»
15 years 6 months ago
Automatically generating related queries in Japanese
Web searchers reformulate their queries, as they adapt to search engine behavior, learn more about a topic, or simply correct typing errors. Automatic query rewriting can help user...
Rosie Jones, Kevin Bartz, Pero Subasic, Benjamin R...
JLP
2010
96views more  JLP 2010»
15 years 1 months ago
An overview of the K semantic framework
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...
Grigore Rosu, Traian-Florin Serbanuta