536 search results - page 71 / 108 » A computer verified, monadic, functional implementation of t... |
114
click to vote
ICAC
2006
IEEE
15 years 5 months ago
2006
IEEE
Grid data management is a challenging task because of the heterogeneous, dynamic and largescale nature of Grid environments. This paper proposes an autonomic Grid data management ...
100
click to vote
ADS
2004
Springer
15 years 5 months ago
2004
Springer
We describe an implemented system for the simulation and visualisation of the emotional state of a multimodal conversational agent called Max. The focus of the presented work lies ...
CLUSTER
2002
IEEE
2002
IEEE
Design and Validation of Portable Communication Infrastructure for Fault-Tolerant Cluster Middleware
15 years 4 months ago
We describe the communication infrastructure (CI) for our fault-tolerant cluster middleware, which is optimized for two classes of communication: for the applications and for the ...
ICCAD
1993
IEEE
15 years 3 months ago
1993
IEEE
In this paper, we present an integrated approach to synthesis and mapping to go beyond the combinatorial limit set up by the depth-optimal FlowMap algorithm. The new algorithm, na...
119
click to vote
ICDAR
2009
IEEE
14 years 9 months ago
2009
IEEE
MATLAB provides a powerful environment for rapid prototyping of research methods and techniques. Across the wide range of on-line pen computing applications there exists a series ...