Sciweavers

8022 search results - page 209 / 1605
» Predictability in Critical Systems
Sort
View
SCS
2003
15 years 7 months ago
A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...
Rob Weaver, Jane Fenn, Tim Kelly
CHI
2006
ACM
16 years 6 months ago
Speech pen: predictive handwriting based on ambient multimodal recognition
It is tedious to handwrite long passages of text by hand. To make this process more efficient, we propose predictive handwriting that provides input predictions when the user writ...
Kazutaka Kurihara, Masataka Goto, Jun Ogata, Takeo...
RECOMB
2007
Springer
16 years 6 months ago
A Heuristic Algorithm for Reconstructing Ancestral Gene Orders with Duplications
Accurately reconstructing the large-scale gene order in an ancestral genome is a critical step to better understand genome evolution. In this paper, we propose a heuristic algorith...
Jian Ma, Aakrosh Ratan, Louxin Zhang, Webb Miller,...
CEC
2008
IEEE
16 years 22 days ago
Evolving finite state transducers to interpret deepwater reservoir depositional environments
— Predicting oil recovery efficiency of deepwater reservoirs is a challenging task. One approach to characterize and predict the producibility of a reservoir is by analyzing its...
Tina Yu, Dave Wilkinson, Julian Clark, Morgan Sull...
IPPS
2008
IEEE
16 years 20 days ago
On the Effectiveness of Rebuilding RNA Secondary Structures from Sequence Chunks
Despite the computing power of emerging technologies, predicting long RNA secondary structures with thermodynamics-based methods is still infeasible, especially if the structures ...
Michela Taufer, Thamar Solorio, Abel Licon, David ...