Sciweavers

11862 search results - page 53 / 2373
» Relative information completeness
Sort
View
SIGIR
2004
ACM
14 years 1 months ago
Sentence completion
We discuss a retrieval model in which the task is to complete a sentence, given an initial fragment, and given an application specific document collection. This model is motivate...
Korinna Grabski, Tobias Scheffer
IRI
2006
IEEE
14 years 1 months ago
A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs
When a Constraint Satisfaction Problem (CSP) admits no solution, most current solvers express that the whole search space has been explored unsuccessfully but do not exhibit which...
Éric Grégoire, Bertrand Mazure, C&ea...
ICSM
2009
IEEE
14 years 2 months ago
BCC: Enhancing code completion for better API usability
Nowadays, programmers spend much of their workday dealing with code libraries and frameworks that are bloated with APIs. One common way of interacting with APIs is through Code Co...
David M. Pletcher, Daqing Hou
AMAST
2008
Springer
13 years 9 months ago
Towards an Efficient Implementation of Tree Automata Completion
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
Emilie Balland, Yohan Boichut, Thomas Genet, Pierr...
PSYCHNOLOGY
2007
75views more  PSYCHNOLOGY 2007»
13 years 7 months ago
Market Relations, Non-Market Relations and Free Software
Free Software is sometimes considered solely a technical option, but that is a quite limited point of view: we suggest, indeed, that Free Software is not merely a technical option...
Andres Baravalle, Sarah Chambers