1187 search results - page 119 / 238 » Designing presentations for on-demand viewing |
COOPIS
2004
IEEE
15 years 2 months ago
2004
IEEE
1 Although ontology has gained wide attention in the area of information systems, a criticism typical of the early days is still rehearsed here and there. Roughly, this criticism s...
DAC
1995
ACM
15 years 2 months ago
1995
ACM
- Power estimation in combinational modules is addressed from a probabilistic point of view. The zero-delay hypothesis is considered and under highly correlated input streams, the ...
113
click to vote
TYPES
1995
Springer
15 years 2 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
CHI
2010
ACM
15 years 1 months ago
2010
ACM
In this paper we describe Graaasp, a social software currently under development to support the creation of a real usage database of social artifacts. Our goals are twofold: First...
120
click to vote
CCGRID
2006
IEEE
15 years 1 months ago
2006
IEEE
This paper presents the design and implementation of the MPI-IO interface for the Clusterfile parallel file system. The approach offers the opportunity of achieving a high corelat...