Sciweavers

4209 search results - page 708 / 842
» Abstract Dialectical Frameworks
Sort
View
122
Voted
DAGM
2010
Springer
15 years 4 months ago
Exploiting Redundancy for Aerial Image Fusion Using Convex Optimization
Abstract. Image fusion in high-resolution aerial imagery poses a challenging problem due to fine details and complex textures. In particular, color image fusion by using virtual or...
Stefan Kluckner, Thomas Pock, Horst Bischof
133
Voted
ECAI
2010
Springer
15 years 4 months ago
Event Model Learning from Complex Videos using ILP
Abstract. Learning event models from videos has applications ranging from abnormal event detection to content based video retrieval. Relational learning techniques such as Inductiv...
Krishna S. R. Dubba, Anthony G. Cohn, David C. Hog...
155
Voted
ECAI
2010
Springer
15 years 4 months ago
Foundations of Tree-like Local Model Updates
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
Yan Zhang, Michael Kelly, Yi Zhou
148
Voted
ECCV
2010
Springer
15 years 4 months ago
Activities as Time Series of Human Postures
Abstract. This paper presents an exemplar-based approach to detecting and localizing human actions, such as running, cycling, and swinging, in realistic videos with dynamic backgro...
William Brendel, Sinisa Todorovic
152
Voted
GG
2010
Springer
15 years 4 months ago
Local Confluence for Rules with Nested Application Conditions
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...
Hartmut Ehrig, Annegret Habel, Leen Lambers, Ferna...