5227 search results - page 293 / 1046 » Enterprise modeling using class and instance models |
212
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
We describe an online approach to learn non-linear motion patterns and robust appearance models for multi-target tracking in a tracklet association framework. Unlike most previous...
171
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Speaker diarization of meeting recordings is generally based on acoustic information ignoring that meetings are instances of conversations. Several recent works have shown that th...
202
click to vote
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
226
click to vote
TAMOCO
2008
15 years 8 months ago
2008
Since years the market of mobile navigation systems is growing enormously. Within this paper the goals and first results of the joint project "Mobile Navigation with 3D City ...
192
click to vote
CMSB
2008
Springer
15 years 8 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...