Sciweavers

1587 search results - page 244 / 318
» The Semantics of Extended SOFL
Sort
View
CI
2000
114views more  CI 2000»
13 years 9 months ago
A Guided Tour through Some Extensions of the Event Calculus
Kowalski and Sergot's Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which prop...
Iliano Cervesato, Massimo Franceschet, Angelo Mont...
JSC
2010
103views more  JSC 2010»
13 years 8 months ago
Anti-patterns for rule-based languages
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. This should be naturally ...
Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pie...
NAR
2011
212views Computer Vision» more  NAR 2011»
13 years 15 days ago
UKPMC: a full text article resource for the life sciences
UK PubMed Central (UKPMC) is a full-text article database that extends the functionality of the original PubMed Central (PMC) repository. The UKPMC project was launched as the fir...
Johanna R. McEntyre, Sophia Ananiadou, Stephen And...
ICCV
2009
IEEE
1042views Computer Vision» more  ICCV 2009»
15 years 2 months ago
Activity Recognition using the velocity histories of tracked keypoints
We present an activity recognition feature inspired by human psychophysical performance. This feature is based on the velocity history of tracked keypoints. We present a generat...
Ross Messing, Chris Pal, Henry Kautz
CVPR
2007
IEEE
14 years 11 months ago
Concurrent Multiple Instance Learning for Image Categorization
We propose a new multiple instance learning (MIL) algorithm to learn image categories. Unlike existing MIL algorithms, in which the individual instances in a bag are assumed to be...
Guo-Jun Qi, Xian-Sheng Hua, Yong Rui, Tao Mei, Jin...