7049 search results - page 380 / 1410 » Data Abstraction for CSP-OZ |
152
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. We describe the instance store, a system for reasoning about individuals (i.e., instances of classes) in OWL ontologies. By using a hybrid reasoner/database architecture,...
210
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
193
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
303
click to vote
ANNPR
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. A cluster analysis using SOM has been performed on morphological data derived from pyramidal neurons of the somatosensory cortex of normal and transgenic mice.
190
click to vote
ERSHOV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Data privacy is an important application of ontology modularization. The aim is to publish one module while keeping the information of another module private. We show how...