2697 search results - page 264 / 540 » Developing Gestural Input |
173
click to vote
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
158
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
In this work we derive a new cepstrum based maximum likelihood fundamental frequency estimator that exploits the information of multiple microphones. The new approach results in a...
154
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
169
click to vote
AUSDM
2006
Springer
15 years 10 months ago
2006
Springer
The field of Record Linkage is concerned with identifying records from one or more datasets which refer to the same underlying entities. Where entity-unique identifiers are not av...
150
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a new static analysis for reviewing the security of libraries for systems, such as JVMs or the CLR, that rely on stack inspection for access control. We describe its im...