3758 search results - page 378 / 752 » A Complete Subsumption Algorithm |
194
click to vote
COCO
2004
Springer
16 years 3 days ago
2004
Springer
We study the power of quantum proofs, or more precisely, the power of Quantum MerlinArthur (QMA) protocols, in two well studied models of quantum computation: the black box model ...
171
click to vote
EKAW
2004
Springer
16 years 3 days ago
2004
Springer
Motivated by the need to extend features of semantic matchmaking between request and offer descriptions, a model is presented that exploits recently proposed non-standard inference...
152
click to vote
FMCAD
2004
Springer
16 years 3 days ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
185
Voted
ISER
2004
Springer
16 years 2 days ago
2004
Springer
We consider multi-robot systems that include sensor nodes and aerial or ground robots networked together. Such networks are suitable for tasks such as large-scale environmental mon...
123
click to vote
KES
2004
Springer
16 years 2 days ago
2004
Springer
Automatizing the merging of knowledgebases is an important step towards more efficient knowledge management. The cases when two knowledgebases need to be merged completely into a m...