351 search results - page 23 / 71 » Logics Capturing Local Properties |
BMCBI
2010
13 years 8 months ago
2010
Background: Prediction of protein localization in subnuclear organelles is more challenging than general protein subcelluar localization. There are only three computational models...
MM
2009
ACM
14 years 3 months ago
2009
ACM
This paper presents a novel motion localization approach for recognizing actions and events in real videos. Examples include StandUp and Kiss in Hollywood movies. The challenge ca...
IJCV
2008
13 years 8 months ago
2008
Histograms of local appearance descriptors are a popular representation for visual recognition. They are highly discriminant with good resistance to local occlusions and to geomet...
APAL
2008
13 years 8 months ago
2008
Most type systems are agnostic regarding the evaluation strategy for the underlying languages, with the value restriction for ML which is absent in Haskell as a notable exception....
JELIA
1990
Springer
14 years 23 days ago
1990
Springer
General Epistemic Logics suffer from the problem of logical omniscience, which is that an agent's knowledge and beliefs are closed under implication. There have been many att...