Sleep monitoring using body sounds and motion tracking
ناشر:
سال
: 2014شناسه الکترونیک: 10.1109/HASE.2014.46
کلیدواژه(گان): finite state machines,n inference mechanisms,n program testing,n program verification,n safety-critical software,n systems engineering,n FSM-based testing theory,n approximated models,n engineering reliable systems,n engineering safe system,n finite state machines,n formal methods,n inference approach,n input-output systems,n partial characterization set,n software artifacts,n system under test,n systems engineering,n Automata,n Inference
کالکشن
:
-
آمار بازدید
Sleep monitoring using body sounds and motion tracking
Show full item record
| contributor author | Kalkbrenner, C. | |
| contributor author | Stark, P. | |
| contributor author | Kouemou, G. | |
| contributor author | Algorri, M.-E. | |
| contributor author | Brucher, R. | |
| date accessioned | 2020-03-12T21:29:32Z | |
| date available | 2020-03-12T21:29:32Z | |
| date issued | 2014 | |
| identifier other | 6945224.pdf | |
| identifier uri | http://libsearch.um.ac.ir:80/fum/handle/fum/1051296 | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | Sleep monitoring using body sounds and motion tracking | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8181288 | |
| subject keywords | finite state machines | |
| subject keywords | n inference mechanisms | |
| subject keywords | n program testing | |
| subject keywords | n program verification | |
| subject keywords | n safety-critical software | |
| subject keywords | n systems engineering | |
| subject keywords | n FSM-based testing theory | |
| subject keywords | n approximated models | |
| subject keywords | n engineering reliable systems | |
| subject keywords | n engineering safe system | |
| subject keywords | n finite state machines | |
| subject keywords | n formal methods | |
| subject keywords | n inference approach | |
| subject keywords | n input-output systems | |
| subject keywords | n partial characterization set | |
| subject keywords | n software artifacts | |
| subject keywords | n system under test | |
| subject keywords | n systems engineering | |
| subject keywords | n Automata | |
| subject keywords | n Inference | |
| identifier doi | 10.1109/HASE.2014.46 | |
| journal title | ngineering in Medicine and Biology Society (EMBC), 2014 36th Annual International Conference of the | |
| filesize | 1947688 | |
| citations | 0 |