251 search results - page 48 / 51 » Pure Type Systems without Explicit Contexts |
DOLAP
2010
ACM
13 years 5 months ago
2010
ACM
Inter-business collaborative contexts prefigure a distributed scenario where companies organize and coordinate themselves to develop common and shared opportunities. Traditional b...
OOPSLA
2009
Springer
14 years 2 months ago
2009
Springer
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...
KDD
2010
ACM
13 years 6 months ago
2010
ACM
Scalable similarity search is the core of many large scale learning or data mining applications. Recently, many research results demonstrate that one promising approach is creatin...
NSPW
2004
ACM
14 years 1 months ago
2004
ACM
Digital rights management systems allow copyrighted content to be commercialized in digital format without the risk of revenue loss due to piracy. Making such systems secure is no...
WWW
2002
ACM
14 years 8 months ago
2002
ACM
Ontologies play a prominent role on the Semantic Web. They make possible the widespread publication of machine understandable data, opening myriad opportunities for automated info...