1992 search results - page 347 / 399 » Model Based Testing with Labelled Transition Systems |
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
—In this paper, we present a passive device for swing assistance of motor-incomplete spinal cord injury patients. This device is aimed at reducing the physical demands on the the...
114
click to vote
CSCW
2006
ACM
15 years 8 months ago
2006
ACM
Media sharing over mobile devices is quickly becoming a common practice, used to support a variety of social processes. Most existing systems employ a model of sharing that treats...
116
click to vote
DNA
2007
Springer
15 years 6 months ago
2007
Springer
Reliable DNA computing requires a large pool of oligonucleotides that do not produce cross-hybridize. In this paper, we present a transformed algorithm to calculate the maximum wei...
149
click to vote
GRAPHICSINTERFACE
2003
15 years 3 months ago
2003
We present a novel algorithm for simultaneous visual hull reconstruction and rendering by exploiting off-theshelf graphics hardware. The reconstruction is accomplished by projecti...
135
click to vote
BMCBI
2005
15 years 2 months ago
2005
Background: Recent analysis of the yeast gene network shows that most genes have few inputs, indicating that enumerative gene reconstruction methods are both useful and computatio...