4099 search results - page 775 / 820 » A Framework for Interactive Proof |
146
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
Power consumption is a troublesome design constraint for emergent systems such as IBM’s BlueGene /L. If current trends continue, future petaflop systems will require 100 megawat...
191
click to vote
VISUALIZATION
2005
IEEE
15 years 11 months ago
2005
IEEE
We propose a hybrid particle and texture based approach for the visualization of time-dependent vector fields. The underlying spacetime framework builds a dense vector field rep...
143
click to vote
KCAP
2005
ACM
15 years 11 months ago
2005
ACM
The vision of semantic interoperability, the fluid sharing of digitalized knowledge, has led much research on ontology/schema mapping/aligning. Although this line of research is f...
178
click to vote
ICMI
2005
Springer
15 years 10 months ago
2005
Springer
Tracking speakers in multiparty conversations constitutes a fundamental task for automatic meeting analysis. In this paper, we present a probabilistic approach to jointly track th...
146
Voted
SPIN
2005
Springer
15 years 10 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...