152 search results - page 4 / 31 » A Unifying Approach to Goal-Directed Evaluation |
DEBU
2008
13 years 7 months ago
2008
Since the birth of XML, the processing of XML query languages like XQuery/XQueryP has been widely researched in the academic and industrial communities. Most of the approaches con...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
Recent research on multiple kernel learning has lead to a number of approaches for combining kernels in regularized risk minimization. The proposed approaches include different for...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
Advancements in sensor technologies have made it easier and increasingly common to capture information using multiple media. This is especially true for personal multimedia inform...
EUROCRYPT
2009
Springer
14 years 8 months ago
2009
Springer
The fair evaluation and comparison of side-channel attacks and countermeasures has been a long standing open question, limiting further developments in the field. Motivated by this...
IFM
2007
Springer
14 years 1 months ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...