4609 search results - page 625 / 922 » Automatic Generation of Sigma-Protocols |
180
click to vote
IJET
2006
15 years 6 months ago
2006
: The challenge of the semantic web is the provision of distributed information with well defined meaning, understandable for different parties. Particularly, applications should b...
174
click to vote
JBI
2008
15 years 6 months ago
2008
We present a novel ontology integration technique that explicitly takes the dynamics and data-intensiveness of e-health and biomedicine application domains into account. Changing ...
219
click to vote
INTEGRATION
2006
15 years 6 months ago
2006
Improving testability during the early stages of high-level synthesis has several benefits including reduced test hardware overheads, reduced test costs, reduced design iterations...
164
click to vote
CSDA
2007
15 years 6 months ago
2007
In this paper, we propose a novel non-parametric clustering method based on non-parametric local shrinking. Each data point is transformed in such a way that it moves a specific ...
191
click to vote
LRE
2008
15 years 6 months ago
2008
Abstract. We describe a suite of standards, resources and tools for computational encoding and processing of Modern Hebrew texts. These include an array of XML schemas for represen...