Sciweavers

79 search results - page 7 / 16
» Blogging by the rest of us
Sort
View
LICS
2007
IEEE
14 years 2 months ago
A Contraction Method to Decide MSO Theories of Deterministic Trees
In this paper we generalize the contraction method, originally proposed by Elgot and Rabin and later extended by Carton and Thomas, from labeled linear orderings to colored determ...
Angelo Montanari, Gabriele Puppis
CAIP
1997
Springer
161views Image Analysis» more  CAIP 1997»
14 years 1 days ago
A Framework for Feature-Based Motion Recovery in Ground Plane Vehicle Navigation
This paper describes a feature point matching strategy and motion recovery applied to vehicle navigation. A transformation of the image plane is used that keeps the motion of the v...
José M. Sanchiz, Filiberto Pla, John A. Mar...
SLOGICA
2010
97views more  SLOGICA 2010»
13 years 6 months ago
An Internal Version of Epistemic Logic
Abstract. Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling poin...
Guillaume Aucher
KDD
2010
ACM
188views Data Mining» more  KDD 2010»
13 years 9 months ago
Inferring networks of diffusion and influence
Information diffusion and virus propagation are fundamental processes talking place in networks. While it is often possible to directly observe when nodes become infected, observi...
Manuel Gomez-Rodriguez, Jure Leskovec, Andreas Kra...
TIFS
2010
149views more  TIFS 2010»
13 years 2 months ago
Detecting Forgery From Static-Scene Video Based on Inconsistency in Noise Level Functions
Recently developed video editing techniques have enabled us to create realistic synthesized videos. Therefore, using video data as evidence in places such as courts of law requires...
Michihiro Kobayashi, Takahiro Okabe, Yoichi Sato