2414 search results - page 345 / 483 » Reasoning Support for OWL-E |
203
click to vote
ECAL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The colonies of certain species of ants, for example Pogonomyrmex barbatus, exhibit changes in behaviour as the colonies grow older, despite nearly all of the individual ...
153
click to vote
CSFW
2010
IEEE
15 years 11 months ago
2010
IEEE
—Zero-knowledge proofs have a vast applicability in the domain of cryptography, stemming from the fact that they can be used to force potentially malicious parties to abide by th...
197
click to vote
KDD
2010
ACM
15 years 11 months ago
2010
ACM
We study the problem of finding the k most frequent items in a stream of items for the recently proposed max-frequency measure. Based on the properties of an item, the maxfrequen...
233
click to vote
ESCIENCE
2007
IEEE
15 years 11 months ago
2007
IEEE
Provenance management has become increasingly important to support scientific discovery reproducibility, result interpretation, and problem diagnosis in scientific workflow enviro...
170
click to vote
HASKELL
2007
ACM
15 years 11 months ago
2007
ACM
Quasiquoting allows programmers to use domain specific syntax to construct program fragments. By providing concrete syntax for complex data types, programs become easier to read, ...