Sciweavers

3047 search results - page 103 / 610
» A Temporal Consensus Model
Sort
View
CONCUR
2007
Springer
15 years 1 months ago
Temporal Antecedent Failure: Refining Vacuity
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
Shoham Ben-David, Dana Fisman, Sitvanit Ruah
MMM
2009
Springer
120views Multimedia» more  MMM 2009»
15 years 6 months ago
Multimedia Evidence Fusion for Video Concept Detection via OWA Operator
Abstract. We present a novel multi-modal evidence fusion method for highlevel feature (HLF) detection in videos. The uni-modal features, such as color histogram, transcript texts, ...
Ming Li, Yantao Zheng, Shouxun Lin, Yong-Dong Zhan...
GECCO
2010
Springer
154views Optimization» more  GECCO 2010»
15 years 2 months ago
Evolutionary learning in networked multi-agent organizations
This study proposes a simple computational model of evolutionary learning in organizations informed by genetic algorithms. Agents who interact only with neighboring partners seek ...
Jae-Woo Kim
ICRA
2010
IEEE
132views Robotics» more  ICRA 2010»
14 years 8 months ago
Sampling-based motion planning with temporal goals
Abstract— This paper presents a geometry-based, multilayered synergistic approach to solve motion planning problems for mobile robots involving temporal goals. The temporal goals...
Amit Bhatia, Lydia E. Kavraki, Moshe Y. Vardi
CONTEXT
1999
Springer
15 years 2 months ago
The Context-Dependency of Temporal Reference in Event Semantics
Abstract. Temporal reference in natural language is inherently context dependent: what counts as a moment in one context may be structurally analysed in another context, and vice v...
Fabio Pianesi, Achille C. Varzi