Sciweavers

5096 search results - page 92 / 1020
» Associations as a Language Construct
Sort
View
SAC
2010
ACM
15 years 11 months ago
An algorithm to generate the context-sensitive synchronized control flow graph
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
Marisa Llorens, Javier Oliver, Josep Silva, Salvad...
AIME
2001
Springer
15 years 11 months ago
Using Critiquing for Improving Medical Protocols: Harder than It Seems
Medical protocols are widely recognised to provide clinicians with high-quality and up-to-date recommendations. A critical condition for this is of course that the protocols themse...
Mar Marcos, Geert Berger, Frank van Harmelen, Anne...
SIGGRAPH
2010
ACM
15 years 10 months ago
Gesture controllers
We introduce gesture controllers, a method for animating the body language of avatars engaged in live spoken conversation. A gesture controller is an optimal-policy controller tha...
Sergey Levine, Philipp Krähenbühl, Sebastian Thr...
AOSD
2007
ACM
15 years 10 months ago
C-CLR: a tool for navigating highly configurable system software
In order to accommodate the spectrum of configuration options currently required for competitive system infrastructures, many systems leverage heavy usage of C preprocessor contro...
Nieraj Singh, Celina Gibbs, Yvonne Coady
ACL
2012
13 years 8 months ago
Applications of GPC Rules and Character Structures in Games for Learning Chinese Characters
We demonstrate applications of psycholinguistic and sublexical information for learning Chinese characters. The knowledge about the grapheme-phoneme conversion (GPC) rules of lang...
Wei-Jie Huang, Chia-Ru Chou, Yu-Lin Tzeng, Chia-Yi...