2874 search results - page 336 / 575 » Intrusion Detection: Systems and Models |
181
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
213
click to vote
ENTCS
2007
15 years 6 months ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...
185
click to vote
HUMO
2007
Springer
16 years 24 days ago
2007
Springer
In this paper, we introduce a first-order probabilistic model that combines multiple cues to classify human activities from video data accurately and robustly. Our system works in...
199
click to vote
IJCV
2008
15 years 6 months ago
2008
Supplying realistically textured 3D city models at ground level promises to be useful for pre-visualizing upcoming traffic situations in car navigation systems. Because this previs...
180
click to vote
ECML
2005
Springer
16 years 4 days ago
2005
Springer
Automatic facial expression recognition is a research topic with interesting applications in the field of human-computer interaction, psychology and product marketing. The classi...