2173 search results - page 41 / 435 » On the Values of Reducibility Candidates |
ISMVL
1997
IEEE
15 years 1 months ago
1997
IEEE
The composition tree of a given function, when it exists, provides a representation of the function revealing all possible disjunctive decompositions, thereby suggesting a realiza...
HICSS
2010
IEEE
14 years 10 months ago
2010
IEEE
Current approaches to Business Process Management (BPM) and Operational Business Intelligence (BI) integration have been very limited and simply reduced to the problem of technica...
CADE
2008
Springer
15 years 10 months ago
2008
Springer
Interval-based methods are commonly used for computing numerical bounds on expressions and proving inequalities on real numbers. Yet they are hardly used in proof assistants, as th...
ACSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper investigates the general problem of performing key-value search at untrusted servers without loss of user privacy. Specifically, given key-value pairs from multiple ow...
AH
2006
Springer
15 years 3 months ago
2006
Springer
Adaptive link annotation is a popular adaptive navigation support technology. Empirical studies of adaptive annotation in the educational context have demonstrated that it can help...