Typically, three main query reformulation types in sessions are considered: generalization, specification, and drift. We show that given the full context of user interactions, repeat queries represent an important reformulation type which should also be addressed in session retrieval evaluation. We investigate different query reformulation patterns in logs from The European Library. Using an au...

Automatic query reformulation refers to rewriting a user’s original query in order to improve the ranking of retrieval results compared to the original query. We present a general framework for automatic query reformulation based on discrete optimization. Our approach, referred to as pseudoquery reformulation, treats automatic query reformulation as a search problem over the graph of unweighted...

It is well known that search-space reformulation can improve the speed and reliability of numerical optimization in engineering design. We argue that the best choice of reformulation depends on the design goal, and present a technique for automatically constructing rules that map the design goal into a reformulation chosen from a space of possible reformulations. We tested our technique in the ...

Relational databases have had great industrial success in computer science. The power of the paradigm is made clear both by its widespread adoption and by theoretical analysis. Today, automated theorem provers are not able to take advantage of database query engines and therefore do not routinely leverage that source of power. Extensional Reasoning (ER) is an approach to automated theorem provi...

In this paper, we define an abstract formal model of dynamic constraints and show that, if the schema is modifiable, the constraints can always be reformulated to Markov constraints.

The food industry holds great potential for driving consumers to adopt healthy food choices as (re)formulation of foods can improve the nutritional quality of these foods. Reformulation has been identified as a cost-effective intervention in addressing non-communicable diseases as it does not require significant alterations of consumer behaviour and dietary habits. Nutrient profiling (NP), the ...

Abstract Reformulation is remarkably frequent in discourse and has been the subject of much work spoken languages, both on written oral data. Because its metalinguistic nature, combined with general aim clarifying an expression, act reformulation offers a window to way speakers process adjust their expression discourse. However, date, study hardly taken into account now increasingly recognized ...

BACKGROUND Childhood obesity is one of the most pressing public health challenges of the 21st century. Reformulating commonly eaten food products is a key emerging strategy to improve the food supply and help address rising rates of obesity and chronic disease. This study aimed to monitor reformulation of Australian child-oriented food products (products marketed specifically to children) from ...