Sciweavers

5550 search results - page 604 / 1110
» Different Approaches to Proof Systems
Sort
View
180
Voted
ICIP
2009
IEEE
16 years 8 months ago
Detecting Contextual Anomalies Of Crowd Motion In Surveillance Video
Many works have been proposed on detecting individual anomalies in crowd scenes, i.e., human behaviors anomalous with respect to the rest of the behaviors. In this paper, we intro...
KDD
2008
ACM
146views Data Mining» more  KDD 2008»
16 years 7 months ago
Constraint programming for itemset mining
The relationship between constraint-based mining and constraint programming is explored by showing how the typical constraints used in pattern mining can be formulated for use in ...
Luc De Raedt, Tias Guns, Siegfried Nijssen
IAT
2009
IEEE
16 years 2 months ago
Optimization-Based Collision Avoidance for Cooperating Airplanes
Application of autonomous intelligent systems into airspace domain is very important nowadays. The paper presents decentralized collision avoidance algorithm utilizing a solution ...
David Sislák, Premysl Volf, Michal Pechouce...
201
Voted
DEXAW
2008
IEEE
113views Database» more  DEXAW 2008»
16 years 1 months ago
Gestures, Shapes and Multitouch Interaction
Abstract—We discuss issues related to the design of a multitouch gesture sensing environment, allowing the user to execute both independent and coordinated gestures. We discuss d...
Augusto Celentano, Andrea Minuto
190
Voted
ATAL
2007
Springer
16 years 1 months ago
Cooperative evolution of service ontologies
Most of the proposed approaches in automatic service selection assume the existence of a common ontology among communicating agents. However, this assumption becomes difficult to...
Murat Sensoy, Pinar Yolum