7918 search results - page 1336 / 1584 » Model Composition Directives |
144
click to vote
RULEML
2005
Springer
15 years 9 months ago
2005
Springer
an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML . 45 Adrian Giurca and Gerd Wagner A Semantic Web Framework for Interleaving Policy Reasoning and External Servic...
172
Voted
SPIRE
2005
Springer
15 years 9 months ago
2005
Springer
Proximity searching consists in retrieving from a database, objects that are close to a query. For this type of searching problem, the most general model is the metric space, where...
157
click to vote
TCC
2005
Springer
15 years 9 months ago
2005
Springer
We address the problem of using untrusted (potentially malicious) cryptographic helpers. We provide a formal security definition for securely outsourcing computations from a comp...
145
click to vote
WINE
2005
Springer
15 years 9 months ago
2005
Springer
Reserve price auctions are one of hot research topics in the traditional auction theory. Here we study the starting price in an online auction, counterpart of the public reserve pr...
125
click to vote
ACII
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, a novel system is proposed to recognize facial expression based on face sketch, which is produced by programmable graphics hardware-GPU(Graphics Processing Unit). Fi...