357 search results - page 57 / 72 » An Algebraic Approach to the Complexity of Generalized Conju... |
92
Voted
MTA
2007
14 years 11 months ago
2007
Complex multimedia queries, aiming to retrieve from large databases those objects that best match the query specification, are usually processed by splitting them into a set of m ...
79
Voted
CAV
2009
Springer
16 years 6 days ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
114
click to vote
CASES
2008
ACM
15 years 1 months ago
2008
ACM
Detailed or cycle-accurate/bit-accurate (CABA) simulation is a critical phase in the design flow of embedded systems. However, with increasing system complexity, full detailed sim...
110
Voted
CCS
2008
ACM
15 years 1 months ago
2008
ACM
We extend the Camenisch-Lysyanskaya anonymous credential system such that selective disclosure of attributes becomes highly efficient. The resulting system significantly improves ...
SIGSOFT
2009
ACM
16 years 12 days ago
2009
ACM
Search computing is a novel discipline whose goal is to answer complex, multi-domain queries. Such queries typically require combining in their results domain knowledge extracted ...