544 search results - page 88 / 109 » What cannot be computed locally! |
SAT
2009
Springer
14 years 3 months ago
2009
Springer
We propose a new incomplete algorithm for the Maximum Satisfiability (MaxSAT) problem on unweighted Boolean formulas, focused specifically on instances for which proving unsatis...
CIVR
2007
Springer
14 years 3 months ago
2007
Springer
This paper deals with a new interest points detector. Unlike most standard detectors which concentrate on the local shape of the signal, the main objective of this new operator is...
ESCIENCE
2006
IEEE
14 years 2 months ago
2006
IEEE
The ability to dynamically create and subsequently manage secure virtual organisations (VO) is one of the key challenges facing the Grid community. Existing approaches for establi...
AINTEC
2005
Springer
14 years 2 months ago
2005
Springer
— We present a vision of an Intelligent Network in which users dynamically indicate their requests for services, and formulate needs in terms of Quality of Service (QoS) and pric...
ICDM
2003
IEEE
14 years 2 months ago
2003
IEEE
Traditional methods for frequent itemset mining typically assume that data is centralized and static. Such methods impose excessive communication overhead when data is distributed...