Sciweavers

1767 search results - page 243 / 354
» Objects in Context
Sort
View
ECOOP
2010
Springer
15 years 7 months ago
The Use of Overloading in Java Programs
Method overloading is a controversial language feature, especially in the context of Object Oriented languages, where its interaction with overriding may lead to confusing semantic...
Joseph Gil, Keren Lenz
MIE
2008
136views Healthcare» more  MIE 2008»
15 years 5 months ago
Enhancing Knowledge Representations by Ontological Relations
Several medical natural language processing (NLP) systems currently base on ontologies that provide the domain knowledge. But, relationships between concepts defined in ontologies ...
Kerstin Denecke
CADE
2010
Springer
15 years 5 months ago
Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description)
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
Brigitte Pientka, Joshua Dunfield
ACSAC
2004
IEEE
15 years 7 months ago
Security Policies to Mitigate Insider Threat in the Document Control Domain
With rapid advances in online technologies, organizations are migrating from paper based resources to digital documents to achieve high responsiveness and ease of management. Thes...
Suranjan Pramanik, Vidyaraman Sankaranarayanan, Sh...
ICFCA
2007
Springer
15 years 10 months ago
Computing Intensions of Digital Library Collections
We model a Digital Library as a formal context in which objects are documents and attributes are terms describing documents contents. A formal concept is very close to the notion o...
Carlo Meghini, Nicolas Spyratos