Sciweavers

544 search results - page 65 / 109
» Deriving Object-Oriented Frameworks from Domain Knowledge
Sort
View
MKM
2005
Springer
15 years 3 months ago
Determining Empirical Characteristics of Mathematical Expression Use
Abstract. Many processes in mathematical computing try to use knowledge of the most desired forms of mathematical expressions. This occurs, for example, in symbolic computation sys...
Clare M. So, Stephen M. Watt
NIPS
2008
14 years 11 months ago
Counting Solution Clusters in Graph Coloring Problems Using Belief Propagation
We show that an important and computationally challenging solution space feature of the graph coloring problem (COL), namely the number of clusters of solutions, can be accurately...
Lukas Kroc, Ashish Sabharwal, Bart Selman
SEMWEB
2009
Springer
15 years 4 months ago
On Detecting High-Level Changes in RDF/S KBs
An increasing number of scientific communities rely on Semantic Web ontologies to share and interpret data within and across research domains. These common knowledge representatio...
Vicky Papavassiliou, Giorgos Flouris, Irini Fundul...
ICDIM
2007
IEEE
15 years 4 months ago
The OntoNL Semantic Relatedness Measure for OWL ontologies
: An effect of the growing importance of the Semantic Web used for sharing knowledge over the Internet was the development and publishing of many ontologies in different domains. T...
Anastasia Karanastasi, Stavros Christodoulakis
TCC
2012
Springer
240views Cryptology» more  TCC 2012»
13 years 5 months ago
Computing on Authenticated Data
In tandem with recent progress on computing on encrypted data via fully homomorphic encryption, we present a framework for computing on authenticated data via the notion of slight...
Jae Hyun Ahn, Dan Boneh, Jan Camenisch, Susan Hohe...