6020 search results - page 1030 / 1204 » A New Approach to Model Counting |
142
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
Over the past decade the sheer size and complexity of traditional operating systems have prompted a wave of new approaches to help alleviate the services provided by these operati...
159
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
The prize-collecting Steiner tree problem on a graph with edge costs and vertex profits asks for a subtree minimizing the sum of the total cost of all edges in the subtree plus th...
183
click to vote
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...
178
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
In a federated digital library system, it is too expensive to query every accessible library. Resource selection is the task to decide to which libraries a query should be routed....
163
click to vote
VISUALIZATION
1998
IEEE
15 years 10 months ago
1998
IEEE
Many sophisticated solutions have been proposed to reduce the geometric complexity of 3D meshes. A less studied problem is how to preserve on a simplified mesh the detail (e.g. co...