Sciweavers

1662 search results - page 113 / 333
» Privately Finding Specifications
Sort
View
CISIS
2010
IEEE
15 years 4 months ago
Modeling of Stress-induced Regulatory Cascades Involving Transcription Factor Dimers
Regulatory cascades consisting of stress-induced gene modules and their transcriptional regulators were recently identified and quantitatively modeled using Artificial Neural Netwo...
Maria Manioudaki, Panayiota Poirazi
SIGDIAL
2010
15 years 4 months ago
Discourse indicators for content selection in summarization
We present analyses aimed at eliciting which specific aspects of discourse provide the strongest indication for text importance. In the context of content selection for single doc...
Annie Louis, Aravind K. Joshi, Ani Nenkova
HCI
2009
15 years 4 months ago
A Usability Inspection of Medication Management in Three Personal Health Applications
We present the findings of a cognitive walkthrough inspection on three Personal Health Applications (PHAs). Two of the PHAs, Google Health and Microsoft HealthVault, are general pu...
Katie A. Siek, Danish Ullah Khan, Stephen E. Ross
JTAER
2010
124views more  JTAER 2010»
15 years 1 months ago
What factors influence online brand trust: evidence from online tickets buyers in Malaysia
This study examines online brand trust and its influencing factors in the specific context of online air ticket buyers in Malaysia. Summarizing academic literature on online brand...
Syed Shah Alam, Norjaya Mohd Yasin
SBMF
2010
Springer
129views Formal Methods» more  SBMF 2010»
15 years 1 months ago
Directed Model Checking for B: An Evaluation and New Techniques
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...
Michael Leuschel, Jens Bendisposto