6042 search results - page 982 / 1209 » Repeated Observation Models |
161
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
163
click to vote
EDBT
2009
ACM
16 years 1 months ago
2009
ACM
This work addresses the problem of processing continuous nearest neighbor (NN ) queries for moving objects trajectories when the exact position of a given object at a particular t...
188
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
In every application domain, achieving interoperability among heterogenous information systems is a crucial challenge and alliances are formed to standardize data-exchange formats...
150
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— Particle swarm optimization (PSO) is a swarm intelligence technique originally inspired by models of flocking and of social influence that assumed homogeneous individuals. Du...
181
click to vote
CRV
2009
IEEE
16 years 1 months ago
2009
IEEE
Understanding the human gait is an important objective towards improving elderly mobility. In turn, gait analyses largely depend on kinematic and dynamic measurements. While the m...