Sciweavers

7121 search results - page 1222 / 1425
» Functions as Session-Typed Processes
Sort
View
EDUTAINMENT
2007
Springer
15 years 10 months ago
Teaching Structured Development of Virtual Reality Systems Using P-VoT
Learning to build and test virtual reality (VR) systems is difficult due to the many required knowledge (e.g. computer graphics, sound processing, simulation, interaction, etc.) an...
Jinseok Seo, Gerard Jounghyun Kim
FMICS
2007
Springer
15 years 10 months ago
An Approach to Formalization and Analysis of Message Passing Libraries
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
Robert Palmer, Michael Delisi, Ganesh Gopalakrishn...
GECCO
2007
Springer
179views Optimization» more  GECCO 2007»
15 years 10 months ago
The second harmonic generation case-study as a gateway for es to quantum control problems
The Second Harmonic Generation (SHG), a process that turns out to be a good test case in the physics lab, can also be considered as a fairly simple theoretical test function for g...
Ofer M. Shir, Thomas Bäck
RECOMB
2007
Springer
15 years 10 months ago
Nucleosome Occupancy Information Improves de novo Motif Discovery
A complete understanding of transcriptional regulatory processes in the cell requires identification of transcription factor binding sites on a genomewide scale. Unfortunately, th...
Leelavati Narlikar, Raluca Gordân, Alexander...
SCALESPACE
2007
Springer
15 years 10 months ago
Scale Spaces on Lie Groups
In the standard scale space approach one obtains a scale space representation u : Rd R+ → R of an image f ∈ L2(Rd ) by means of an evolution equation on the additive group (Rd ...
Remco Duits, Bernhard Burgeth
« Prev « First page 1222 / 1425 Last » Next »