5015 search results - page 623 / 1003 » Model Checking a Path |
166
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
This paper describes adaptation to gradual changes of walking directions for gait identification. First, we propose a method of body tilt correction due to changes of walking dire...
173
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
We develop a generic framework for the analysis of programs with recursive procedures and dynamic process creation. To this end we combine the approach of weighted pushdown systems...
152
click to vote
ICDCS
2009
IEEE
16 years 4 months ago
2009
IEEE
We identify a new type of stateful IDS evasion, named signature evasion. We formalize the signature evasion on those Stateful IDSs whose state can be modeled using Deterministic F...
144
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
Sphinx is a cryptographic message format used to relay anonymized messages within a mix network. It is more compact than any comparable scheme, and supports a full set of security...
145
click to vote
ICMCS
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper addresses the problem of doubletalk detector calibration for acoustic echo cancellers in hands-free environments such as videoconferencing. A statistical model of a rec...