1023 search results - page 134 / 205 » A Formal Method for Program Slicing |
111
click to vote
IFM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
131
click to vote
IAT
2009
IEEE
15 years 8 months ago
2009
IEEE
—This paper proposes a method of learning a similarity matrix from pairwise constraints for interactive clustering. The similarity matrix can be learned by solving an optimizatio...
106
click to vote
NAACL
2007
15 years 3 months ago
2007
The task of selecting and ordering information appears in multiple contexts in text generation and summarization. For instance, methods for title generation construct a headline b...
115
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
One can reduce the problem of proving that a polynomial is nonnegative, or more generally of proving that a system of polynomial inequalities has no solutions, to finding polynomi...
100
click to vote
TLDI
2009
ACM
15 years 10 months ago
2009
ACM
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...