1760 search results - page 147 / 352 » Connected Set Cover Problem and Its Applications |
115
click to vote
ICWS
2003
IEEE
15 years 4 months ago
2003
IEEE
In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core service by ...
127
click to vote
SODA
2008
ACM
15 years 4 months ago
2008
ACM
Ranged hash functions generalize hash tables to the setting where hash buckets may come and go over time, a typical case in distributed settings where hash buckets may correspond ...
127
click to vote
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Deciding whether a modal formula is satisfiable with respect to a given set of (global) assumptions is a question of fundamental importance in applications of logic in computer sc...
108
click to vote
ETS
2006
IEEE
15 years 9 months ago
2006
IEEE
The application of Dynamic Voltage Scaling (DVS) to reduce energy consumption may have a detrimental impact on the quality of manufacturing tests employed to detect permanent faul...
104
click to vote
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
We propose a competitive finite mixture of neurons (or perceptrons) for solving binary classification problems. Our classifier includes a prior for the weights between different n...