Sciweavers

373 search results - page 39 / 75
» Two Attacks on Reduced IDEA
Sort
View
FOSSACS
2008
Springer
13 years 9 months ago
Symbolic Semantics Revisited
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
Filippo Bonchi, Ugo Montanari
GRAPHICSINTERFACE
2008
13 years 9 months ago
Geometric displacement on plane and sphere
This paper describes a new algorithm for geometric displacement mapping. Its key idea is that all occluded solutions for an eye ray lie in two-dimensional manifolds perpendicular ...
Elodie Fourquet, William Cowan, Stephen Mann
EACL
2006
ACL Anthology
13 years 9 months ago
From Detecting Errors to Automatically Correcting Them
Faced with the problem of annotation errors in part-of-speech (POS) annotated corpora, we develop a method for automatically correcting such errors. Building on top of a successfu...
Markus Dickinson
TSP
2008
101views more  TSP 2008»
13 years 7 months ago
Subspace-Based Algorithm for Parameter Estimation of Polynomial Phase Signals
In this correspondence, parameter estimation of a polynomial phase signal (PPS) in additive white Gaussian noise is addressed. Assuming that the order of the PPS is at least 3, the...
Yuntao Wu, Hing Cheung So, Hongqing Liu
ICIP
2009
IEEE
13 years 5 months ago
Shadow detection in video surveillance by maximizing agreement between independent detectors
This paper starts from the idea of automatically choosing the appropriate thresholds for a shadow detection algorithm. It is based on the maximization of the agreement between two...
Juan C. SanMiguel, José M. Martinez