16404 search results - page 2588 / 3281 » A set coverage problem |
189
click to vote
COLT
2005
Springer
16 years 24 days ago
2005
Springer
We consider the problem of learning a hypergraph using edge-detecting queries. In this model, the learner may query whether a set of vertices induces an edge of the hidden hypergr...
202
click to vote
CRYPTO
2005
Springer
16 years 24 days ago
2005
Springer
Forgery and counterfeiting are emerging as serious security risks in low-cost pervasive computing devices. These devices lack the computational, storage, power, and communication r...
230
click to vote
CSL
2005
Springer
16 years 24 days ago
2005
Springer
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
234
Voted
DBISP2P
2005
Springer
16 years 24 days ago
2005
Springer
We propose a novel approach for de ning and querying a super-peer within a schema-based super-peer network organized into a two-level architecture: the low level, called the peer l...
193
click to vote
ECMDAFA
2005
Springer
16 years 24 days ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...