2266 search results - page 354 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
144
click to vote
ISCI
2002
15 years 3 months ago
2002
Video information processing has been one of great challenging areas in the database community since it needs huge amount of storage space and processing power. In this paper, we ...
145
click to vote
PVLDB
2010
15 years 2 months ago
2010
A Business Process (BP for short) consists of a set of activities that achieve some business goal when combined in a flow. Among all the (maybe infinitely many) possible executi...
131
click to vote
DLOG
2010
15 years 2 months ago
2010
Recent research has shown that annotations are useful for representing access restrictions to the axioms of an ontology and their implicit consequences. Previous work focused on co...
126
Voted
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
We propose a settlement mechanism for optimally scheduling real time electricity consumption which is suitable for an automated demand response control system. Our proposed settlem...
105
click to vote
IJNSEC
2010
14 years 11 months ago
2010
In this paper we first propose two new concepts concerning the notion of key escrow schemes: provable partiality and independence. Roughly speaking, a scheme has provable partiali...