12774 search results - page 2240 / 2555 » A Framework for Proof Systems |
188
click to vote
CONEXT
2006
ACM
16 years 24 days ago
2006
ACM
In the context of a reconfigurable transport protocol, this paper introduces two protocol instances based on the composition and specialisation of the TFRC congestion control and...
182
click to vote
DOLAP
2006
ACM
16 years 24 days ago
2006
ACM
Mining data warehouses is still an open problem as few approaches really take the specificities of this framework into account (e.g. multidimensionality, hierarchies, historized ...
195
click to vote
ELPUB
2006
ACM
16 years 24 days ago
2006
ACM
The internet causes a continuous emergence of novel forms of scholarly communication and collaboration. Electronic publishing provides a means for representing eventual outcomes o...
176
click to vote
ISSTA
2006
ACM
16 years 24 days ago
2006
ACM
As the Aspect-Oriented Software Development gains popularity, there is growing interest as developing for existing object-oriented software aspects to address the crosscutting pro...
193
click to vote
JCDL
2006
ACM
16 years 24 days ago
2006
ACM
In this paper we introduce POLAR, a probabilistic objectoriented logical framework for annotation-based information retrieval. In POLAR, the knowledge about digital objects, annot...