3595 search results - page 293 / 719 » Roles of Program Extension |
210
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...
187
Voted
NDSS
2007
IEEE
16 years 1 months ago
2007
IEEE
The need for communication privacy over public networks is of growing concern in today’s society. As a result, privacy-preserving authentication and key exchange protocols have ...
201
click to vote
AAAI
2006
15 years 8 months ago
2006
Description Logics (DLs) are the formal foundations of the standard web ontology languages OWL-DL and OWL-Lite. In the Semantic Web and other domains, ontologies are increasingly ...
158
click to vote
NIPS
1998
15 years 8 months ago
1998
Gain control by divisive inhibition, a.k.a. divisive normalization, has been proposed to be a general mechanism throughout the visual cortex. We explore in this study the statisti...
189
click to vote
ICIP
1994
IEEE
16 years 8 months ago
1994
IEEE
We describe the implementation of a graphical programming tool in the object-oriented language, Smalltalk80, that allows a user to construct a radiographic measurement model. The ...