Sciweavers

2259 search results - page 399 / 452
» Mining Actionable Patterns
Sort
View
WRLA
2010
15 years 24 days ago
The Linear Temporal Logic of Rewriting Maude Model Checker
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
Kyungmin Bae, José Meseguer
EXPERT
2010
145views more  EXPERT 2010»
14 years 11 months ago
Interaction Analysis with a Bayesian Trajectory Model
Human behavior recognition is one of the most important and challenging objectives performed by intelligent vision systems. Several issues must be faced in this domain ranging fro...
Alessio Dore, Carlo S. Regazzoni
BICA
2010
14 years 9 months ago
Application Feedback in Guiding a Deep-Layered Perception Model
Deep-layer machine learning architectures continue to emerge as a promising biologically-inspired framework for achieving scalable perception in artificial agents. State inference ...
Itamar Arel, Shay Berant
AUGHUMAN
2011
14 years 9 months ago
"Vection field" for pedestrian traffic control
: Today in general traffic field, visual signs and audio cues are used for pedestrian control. As the pedestrians need to acquire and recognize them, time delay between cognition a...
Masahiro Furukawa, Hiromi Yoshikawa, Taku Hachisu,...
TSMC
2010
14 years 9 months ago
Advances in View-Invariant Human Motion Analysis: A Review
Abstract--As viewpoint issue is becoming a bottleneck for human motion analysis and its application, in recent years, researchers have been devoted to view-invariant human motion a...
Xiaofei Ji, Honghai Liu