Sciweavers

2218 search results - page 148 / 444
» Testing Expressibility Is Hard
Sort
View
CAISE
2009
Springer
14 years 1 months ago
Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows
Despite the abundance of analysis techniques to discover control-flow errors in workflow designs, there is hardly any support for w verification. Most techniques simply abstract fr...
Nikola Trcka, Wil M. P. van der Aalst, Natalia Sid...
GRAPHICSINTERFACE
2008
13 years 10 months ago
Towards a model human cochlea: sensory substitution for crossmodal audio-tactile displays
We present a Model Human Cochlea (MHC): a sensory substitution technique for creating a crossmodal audio-touch display. This research is aimed at designing a chair-based interface...
Maria Karam, Frank A. Russo, Carmen Branje, Emily ...
TSP
2008
83views more  TSP 2008»
13 years 9 months ago
Bit and Power Allocation for Goodput Optimization in Coded Parallel Subchannels With ARQ
Abstract--This paper addresses the problem of adaptively allocating the bits and the power among a set of parallel subchannels. A frame-oriented transmission with convolutional cod...
B. Devillers, Jérôme Louveaux, Luc Va...
UAIS
2008
185views more  UAIS 2008»
13 years 9 months ago
Facial movement analysis in ASL
In the age of speech and voice recognition technologies, sign language recognition is an essential part of ensuring equal access for deaf people. To date, sign language recognition...
Christian Vogler, Siome Goldenstein
JCB
2002
131views more  JCB 2002»
13 years 9 months ago
Modeling and Simulation of Genetic Regulatory Systems: A Literature Review
In order to understand the functioning of organisms on the molecular level, we need to know which genes are expressed, when and where in the organism, and to which extent. The reg...
Hidde de Jong