Sciweavers

1662 search results - page 113 / 333
» Privately Finding Specifications
Sort
View
162
Voted
CISIS
2010
IEEE
15 years 1 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
135
Voted
SIGDIAL
2010
15 years 1 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
131
Voted
HCI
2009
15 years 1 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
123
Voted
JTAER
2010
124views more  JTAER 2010»
14 years 10 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
134
Voted
SBMF
2010
Springer
129views Formal Methods» more  SBMF 2010»
14 years 10 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