Sciweavers

3337 search results - page 246 / 668
» interactions 2006
Sort
View
FUIN
2006
111views more  FUIN 2006»
15 years 6 months ago
Typing the Behavior of Software Components using Session Types
This paper proposes the use of session types to extend with behavioural information the simple descriptions usually provided by software component interfaces. We show how session t...
Antonio Vallecillo, Vasco Thudichum Vasconcelos, A...
IJON
2006
43views more  IJON 2006»
15 years 6 months ago
A two-dimensional population density approach to modeling the dLGN/PGN network
The interaction of two populations of integrate-and-fire-or-burst neurons representing thalamocortical cells from the dorsal lateral geniculate nucleus (dLGN) and thalamic reticul...
Marco A. Huertas, Gregory D. Smith
IJVR
2006
113views more  IJVR 2006»
15 years 6 months ago
The Virtual Human Platform: Simplifying the Use of Virtual Characters
In this paper, we will explain our approach to create and animate virtual characters for real-time rendering applications in an easy and intuitive way. Furthermore we show a way ho...
Christian Knöpfle, Yvonne Jung
236
Voted
JAPLL
2006
104views more  JAPLL 2006»
15 years 6 months ago
A proof-centric approach to mathematical assistants
We present an approach to mathematical assistants which uses readable, executable proof scripts as the central language for interaction. We examine an implementation that combines...
Lucas Dixon, Jacques D. Fleuriot
JPDC
2006
123views more  JPDC 2006»
15 years 6 months ago
Data redistribution and remote method invocation for coupled components
With the increasing availability of high-performance massively parallel computer systems, the prevalence of sophisticated scientific simulation has grown rapidly. The complexity o...
Felipe Bertrand, Randall Bramley, David E. Bernhol...