10715 search results - page 1781 / 2143 » Proofs from Tests |
207
click to vote
INFORMATICALT
2008
15 years 7 months ago
2008
This paper studies an adaptive clustering problem. We focus on re-clustering an object set, previously clustered, when the feature set characterizing the objects increases. We prop...
208
click to vote
CLEIEJ
2007
15 years 7 months ago
2007
Framework based application development is increasingly being adopted by software organizations. Frameworks provide reuse of both software design and code, and supply more trustab...
187
click to vote
IGPL
2006
15 years 7 months ago
2006
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...
196
Voted
IPM
2008
15 years 7 months ago
2008
This paper reviews the career and legacy of William (Bill) Goffman, who served as a researcher, Professor, Dean and Emeritus at Case Western Reserve University, Cleveland, Ohio, f...
317
click to vote
IR
2008
15 years 7 months ago
2008
We consider the following autocompletion search scenario: imagine a user of a search engine typing a query; then with every keystroke display those completions of the last query wo...