77016 search results - page 353 / 15404 » Modeling |
128
click to vote
ICPR
2010
IEEE
15 years 7 months ago
2010
IEEE
We propose a general framework for simultaneous segmentation and modelling of signals based on an Equipartition Principle (EP). According to EP, the signal is divided into segment...
147
click to vote
AMI
2008
Springer
15 years 7 months ago
2008
Springer
To improve the performance and wellbeing of humans in complex human-computer interaction settings, an interesting challenge for an ambient (or pervasive) agent system is to recogni...
131
click to vote
ASM
2008
ASM
15 years 7 months ago
2008
ASM
We address the proof-based development of cryptographic protocols satisfying security properties. Communication channels are supposed to be unsafe. Analysing cryptographic protocol...
135
Voted
CAISE
2006
Springer
15 years 6 months ago
2006
Springer
The EDEMOI project aims to model standards that regulate airport security. It involves the production of a UML model, to support the validation activity, and a formal model for ver...
133
click to vote
CICLING
2005
Springer
15 years 6 months ago
2005
Springer
This paper discuses preliminary results on acoustic models creation through acoustic models already in existence for another language. In this work we show as case of study, the cr...