2613 search results - page 212 / 523 » Proposal for Tools Supporting Component Based Programming |
190
click to vote
FMOODS
2008
15 years 7 months ago
2008
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
197
click to vote
SIGIR
1999
ACM
15 years 10 months ago
1999
ACM
Previous examinations of search in textual archives have assumed that users first retrieve a ranked set of documents relevant to their query, and then visually scan through these ...
214
click to vote
GPCE
2009
Springer
15 years 9 months ago
2009
Springer
Mapping problem-space features into solution-space features is a fundamental configuration problem in software product line engineering. A configuration problem is defined as g...
280
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Approximate queries on a collection of strings are important in many applications such as record linkage, spell checking, and Web search, where inconsistencies and errors exist in...
183
click to vote
KDD
2007
ACM
16 years 6 months ago
2007
ACM
In this study, a novel multidimensional time series classification technique, namely support feature machine (SFM), is proposed. SFM is inspired by the optimization model of suppo...