1096 search results - page 204 / 220 » Computation Slicing: Techniques and Theory |
123
Voted
SODA
2003
ACM
15 years 1 months ago
2003
ACM
The natural relaxation for the Group Steiner Tree problem, as well as for its generalization, the Directed Steiner Tree problem, is a flow-based linear programming relaxation. We...
132
Voted
CVIU
2010
15 years 15 days ago
2010
This paper presents a real-time vision-based system to assist a person with dementia wash their hands. The system uses only video inputs, and assistance is given as either verbal ...
100
Voted
CSDA
2006
15 years 14 days ago
2006
We explore different approaches for performing hypothesis tests on the shape of a mean function by developing general methodologies both, for the often assumed, i.i.d. error struc...
102
click to vote
BMCBI
2007
15 years 13 days ago
2007
Background: Metabolic Flux Analysis (MFA) based on isotope labeling experiments (ILEs) is a widely established tool for determining fluxes in metabolic pathways. Isotope labeling ...
123
Voted
JACM
2002
15 years 3 days ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...