4814 search results - page 422 / 963 » Combining abstract interpreters |
193
click to vote
CPAIOR
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. This paper introduces a problem called the temporal knapsack problem, presents several algorithms for solving it, and compares their performance. The temporal knapsack pr...
165
click to vote
ECMDAFA
2005
Springer
16 years 12 days ago
2005
Springer
Queries on software artifacts play an important role in novel software development approaches, such as Aspect-Oriented Software Development and OMG's Model Driven Architecture...
162
click to vote
ECML
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. In this paper, dimensionality reduction via matrix factorization with nonnegativity constraints is studied. Because of these constraints, it stands apart from other linea...
164
Voted
ESA
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We show that optimal alphabetic binary trees can be constructed in O(n) time if the elements of the initial sequence are drawn from a domain that can be sorted in linear ...
141
Voted
EUC
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. This paper provides a survey of searchable, peer-to-peer filesharing systems that offer the user some form of anonymity. We start this survey by giving a brief descript...