Sciweavers

34199 search results - page 321 / 6840
» Petascale Computational Systems
Sort
View
NIME
2005
Springer
147views Music» more  NIME 2005»
16 years 8 days ago
Toward Direct Brain-Computer Musical Interfaces
Musicians and composers have been using brainwaves as generative sources in music for at least 40 years and the possibility of a brain-computer interface for direct communication ...
Eduardo Reck Miranda, Andrew Brouse
CASES
2008
ACM
15 years 8 months ago
Dynamic coprocessor management for FPGA-enhanced compute platforms
Various commercial programmable compute platforms have their processor architecture enhanced with field-programmable gate arrays (FPGAs). In a common usage scenario, an applicatio...
Chen Huang, Frank Vahid
MMB
2010
Springer
185views Communications» more  MMB 2010»
15 years 8 months ago
Correctness Issues of Symbolic Bisimulation Computation for Markov Chains
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
Ralf Wimmer, Bernd Becker
FLAIRS
2004
15 years 8 months ago
Natural Language Generation and Discourse Context: Computing Distractor Sets from the Focus Stack
In human-human conversation, people use linguistic expressions that are flexibly tailored to context as a matter of course, and they expect their conversational partners to do lik...
David DeVault, Charles Rich, Candace L. Sidner
WSCG
2004
132views more  WSCG 2004»
15 years 8 months ago
A Novel Computer Vision Technique Used On Sport Video
A method based on computer vision technologies is presented to achieve the function that the simulated motion in sport simulation system and the motion in sport video are presente...
Xianjie Qiu, Zhaoqi Wang, Shihong Xia